- Главная
- Математика
- Логическое следование формул алгебры предикатов
Содержание
Слайд 6Проблема общезначимости формул алгебры предикатов
Проблема общезначимости формул алгебры предикатов
Слайд 10Автоматическое доказательство теорем
Автоматическое доказательство теорем
Слайд 23Метод Эрбрана
Метод Эрбрана
Слайд 27Унификаторы формул
Унификаторы формул
- Предыдущая
Площадь. Единицы измерения площадиСледующая -
Игра Совет мудрейших (часть 2)