Математическая логика. Часть 1
Математика
12 лекций
Обязательный курс для студентов кафедры математической логики и теории алгоритмов. Часть 1.
2022
лекции
спецкурс
Механико-математический факультет
Механико-математический факультет
Математика
V семестр
3 курс
3 курс
Преподаватель
- 01:21:51Лекция 1. Классическая логика высказываний
- 01:21:11Лекция 2. Интуиционистская логика высказываний
- 01:06:37Лекция 3. Свойства интуиционистской логики
- 01:19:17Лекция 4. Логика предикатов
- 57:42Лекция 5. Теорема Гёделя о полноте логики первого порядка
- 01:18:35Лекция 6. Теории с равенством
- 38:54Лекция 7. Элиминация кванторов
- 55:02Лекция 8. Теорема Тарского-Зайденберга
- 01:06:25Лекция 9. 17-я проблема Гильберта. Теорема Артина
- 01:13:38Лекция 10. Категоричные теории
- 01:19:49Лекция 11. Примитивно рекурсивные функции
- 01:09:49Лекция 12. Рекурсивные функции