Лекция 10. Преобразование формул к стандартному виду
Лекция из курса:
материалы
Математика
/
пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»
Предыдущая лекция
9
Лекция 9. Теории и модели
01:28:14
Следующая лекция
11
Лекция 11. Исчисление предикатов
01:27:50