Система федеральных образовательных порталов "Российское Образование" о портале | карта портала | обратная связь
федеральный портал ИНЖЕНЕРНОЕ ОБРАЗОВАНИЕ


«Знание бывает двух видов. Мы либо знаем предмет сами,
либо знаем, где можно найти о нем сведения.»
С. Джонсон
 
[Каталог ресурсов] [Программы. Методики. Право.] [Электронный журнал] [Личный кабинет]
 
Прямой и обратный вывод в логике предикатов первого порядка

Автор: Девятков В.В.
Тематический рубрикатор: Интеллектуальные информационные системы
Тип: Учебные материалы
Уровень образования: Высшее

PDF Document 8.Прямой и обратный вывод в логике предикатов первого порядка.pdf [197 Кбайт]
Создано: 12.02.2005 20:23:49
Создатель: Девятков Владимир Валентинович

Публикации с ключевыми словами: интеллектуальные информационные системы - рямой и обратный вывод в исчислениях предикатов первого порядка
Публикации со словами: интеллектуальные информационные системы - рямой и обратный вывод в исчислениях предикатов первого порядка
См. также:
Rambler's Top100 Rambler's Top100
Copyright © 2003 «Инженерное образование»
E-mail: techno@bmstu.ru | тел.: +7 (095) 263-68-63
 Вход для редакторов