Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовДомашнее задание №1 "Метод резолюций в логике предикатов первого порядка"Домашнее задание №1 "Метод резолюций в логике предикатов первого порядка"
2020-09-072020-09-07СтудИзба
ДЗ: Домашнее задание №1 "Метод резолюций в логике предикатов первого порядка"
Описание
Характеристики домашнего задания
Учебное заведение
Семестр
Просмотров
77
Покупок
4
Размер
2,35 Mb
Список файлов
- Домашнее задание №1.pdf 2,38 Mb
НОВИНКА: отчеты по практикам! Поиск - по названию предприятия в тэге. База учебных материалов МГТУ им. Н.Э. Баумана в формате pdf, оригиналы файлов отсутствуют (если иное не оговорено в описании). Вопросы задавайте ДО покупки в комментариях под файлами.