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