Лекции
![](/img/hd/lecture/2018-09-06-Shekhtman.jpg?1262)
1
Лекция 1. Аксиоматика. Логические формулы
00:38:21
![](/img/hd/lecture/2018-09-13-Shekhtman.jpg?1263)
2
Лекция 2. Оценки. Булевы функции
01:25:58
![](/img/hd/lecture/2018-09-20-Shekhtman.jpg?1264)
3
Лекция 3. Булева алгебра
01:33:51
![](/img/hd/lecture/2018-09-27-Shekhtman.jpg?1265)
4
Лекция 4. Булева алгебра
01:27:39
![](/img/hd/lecture/2018-10-04-Shekhtman.jpg?1266)
5
Лекция 5. Система аксиом
01:28:16
![](/img/hd/lecture/2018-10-11-Shekhtman.jpg?1267)
6
Лекция 6. Логика предикатов
01:29:29
![](/img/hd/lecture/2018-10-18-Shekhtman.jpg?1268)
7
Лекция 7. Эквивалентность моделей
01:29:22
![](/img/hd/lecture/2018-10-25-Shekhtman.jpg?1269)
8
Лекция 8. Нормальные модели
01:33:30
![](/img/hd/lecture/2018-11-01-Shekhtman.jpg?1270)
9
Лекция 9. Теории и модели
01:28:14
![](/img/hd/lecture/2018-11-08-Shekhtman.jpg?1271)
10
Лекция 10. Преобразование формул к стандартному виду
01:31:50
![](/img/hd/lecture/2018-11-15-Shekhtman.jpg?1272)
11
Лекция 11. Исчисление предикатов
01:27:50
![](/img/hd/lecture/2018-11-22-Shekhtman.jpg?1273)
12
Лекция 12. Модальная логика
01:27:38
![](/img/hd/lecture/2018-11-29-Shekhtman.jpg?1274)
13
Лекция 13. Модальная логика
01:30:42
![](/img/hd/lecture/2018-12-06-Shekhtman.jpg?1275)
14
Лекция 14. Модальная логика. Теория множеств Цермело
01:29:59
![](/img/hd/lecture/2018-12-13-Shekhtman.jpg?1276)
15
Лекция 15. Теория алгоритмов
01:35:46