Иллюстрированный самоучитель по введению в экспертные системы


   http://mosmart.ru/news/perchatki-dlya-mujchin-praktichnyie-i-udobnyie-aksessuaryi/            

Иллюстрированный самоучитель по введению в экспертные системы

Логическое программирование
PROLOG и MBASE

Правилпоискв языке PROLOG
Правилпоискв языке PROLOG - 2
Управление поиском в системе MBASE
Управление поиском в системе MBASE - 2
Управление поиском в системе MBASE - 3
Управление поиском в системе MBASE - 4
Управление поиском в системе MBASE - 5
Рекомендуемая литература
Упражнения
Упражнения - 2

Упражнения - 3
Формальные языки
Исчисление высказываний
Исчисление высказываний - 2
Исчисление предикатов
Исчисление предикатов - 2
Исчисление предикатов - 3
Исчисление предикатов - 4
Язык PROLOG
Опровержение резолюций

Принцип резолюций
Принцип резолюций - 2
Поиск доказательствв системе резолюций
Поиск доказательствв системе резолюций - 2
Поиск доказательствв системе резолюций - 3
Поиск доказательствв системе резолюций - 4
Процедурная дедукция в системе PLANNER
Процедурная дедукция в системе PLANNER - 2
Процедурная дедукция в системе PLANNER - 3
Содержание