Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы

0:00:10 1. 3 вопроса которыми занимается математическая логика 0:00:46 2. Предметы логики. Две основные задачи теории алгоритмов 0:03:27 3. История логики. Булева алгебра, алгебра отношений Де Моргана, кванторы и логика предикатов 0:07:06 4. Аксиоматические теории. Теория множеств, Парадокс Рассела. Аксиоматика ZFC. Программа Гильберта 0:14:18 5. Определение полноты и непротиворечивости теории. Отождествление финитных рассуждений с доказательствами в арифметике Пеано 0:16:09 6. Аксиоматика Гильберта и результаты Геделя. Континуум гипотеза 0:22:32 7. Проблема перебора. P=NP? И текущие результаты по ней 0:24:01 8. Тема логика высказываний 0:25:15 9. Введение (определение) элементарных высказываний 0:27:04 10. Логика предикатов. Логические связки 0:28:00 11. Определение пропозициональных формул 0:31:52 12. Лемма об однозначном определении формулы