Лекции
1
Лекция 1. Аксиоматика. Логические формулы
00:38:21
2
Лекция 2. Оценки. Булевы функции
01:25:58
3
Лекция 3. Булева алгебра
01:33:51
4
Лекция 4. Булева алгебра
01:27:39
5
Лекция 5. Система аксиом
01:28:16
6
Лекция 6. Логика предикатов
01:29:29
7
Лекция 7. Эквивалентность моделей
01:29:22
8
Лекция 8. Нормальные модели
01:33:30
9
Лекция 9. Теории и модели
01:28:14
10
Лекция 10. Преобразование формул к стандартному виду
01:31:50
11
Лекция 11. Исчисление предикатов
01:27:50
12
Лекция 12. Модальная логика
01:27:38
13
Лекция 13. Модальная логика
01:30:42
14
Лекция 14. Модальная логика. Теория множеств Цермело
01:29:59
15
Лекция 15. Теория алгоритмов
01:35:46