Лекция 10. Преобразование формул к стандартному виду
Лекция из курса:
материалы
Математика
/
пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»
Предыдущая лекция
![](/img/hd/lecture/2018-11-01-Shekhtman.jpg?1270)
9
Лекция 9. Теории и модели
01:28:14
Следующая лекция
![](/img/hd/lecture/2018-11-15-Shekhtman.jpg?1272)
11
Лекция 11. Исчисление предикатов
01:27:50