1,0×
74 просмотра · 5 лет назад
00:00/38:21
Описание
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы
5 лет назад • 74 просмотра1 поставил "Нравится"
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. Лемма об однозначном определении формулы