Лекции

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