Лекция 11. Исчисление предикатов
Лекция из курса:
материалы
Математика
/
пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»
Предыдущая лекция
![](/img/hd/lecture/2018-11-08-Shekhtman.jpg?1271)
10
Лекция 10. Преобразование формул к стандартному виду
01:31:50
Следующая лекция
![](/img/hd/lecture/2018-11-22-Shekhtman.jpg?1273)
12
Лекция 12. Модальная логика
01:27:38