Лекции
1
Лекция 1. Логика высказываний
01:18:50
2
Лекция 2. Дизъюнктивная нормальная форма
01:03:22
3
Лекция 3. Генценовское исчисление высказываний
01:11:03
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08
5
Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
01:13:29
6
Лекция 6. Логика I порядка. Выразимость. Изоморфизм
01:01:31
7
Лекция 7. Изоморфизм и элементарная эквивалентность структур
01:10:41
8
Лекция 8. Логика предикатов с равенством
00:35:57
9
Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
01:01:18
10
Лекция 10. Теорема о компактности и её следствия
01:05:16
11
Лекция 11. Модальная логика
00:36:04
12
Лекция 12. Модальная логика. Семантика Крипке
01:14:39
13
Лекция 13. Минимальная модальная логика К и другие логики
00:52:55
14
Лекция 14. Временная логика
01:22:07
15
Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
01:26:42
16
Лекция 16. Теория алгоритмов. Универсальная вычислимая функция
00:46:04