Введение в математическую логику
Математика
16 лекций
2024
лекции
Механико-математический факультет
Математика
IV семестр
2 курс
Преподаватель
- 02:30:47Лекция 1. Элементы теории множеств
- 01:35:57Лекция 2. Алгоритмическая теория множеств
- 01:44:20Лекция 3. Математические модели вычислимости
- 01:32:19Лекция 4. Неразрешимые алгоритмические проблемы
- 01:27:49Лекция 5. Логика высказываний
- 01:25:59Лекция 6. Исчисление высказываний
- 01:12:37Лекция 7. Логика предикатов
- 01:17:49Лекция 8. Математические структуры
- 01:28:33Лекция 9. Исчисление предикатов
- 01:26:04Лекция 10. Теорема Гёделя о полноте
- 01:22:43Лекция 11. Элементарные теории
- 01:41:15Лекция 12. Теория моделей
- 01:37:34Лекция 13. Формальная арифметика
- 01:37:05Лекция 14. Интуиционистская логика
- 01:27:55Лекция 15. Теорема Эрбрана
- 02:13:29Лекция 16. Метод резолюций и логическое программирование