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