Библиотечная система университета "Дубна"

Сортировать по:

1. Книга

Полочный шифр: 16.333.2я73 - Е 421

Ездаков, А. Л.
Экспертные системы САПР : учебное пособие для студентов вузов / А. Л. Ездаков ; рецензент В. А. Мартынюк. — Москва : Форум, 2009. — 160 с. : ил. — (Высшее образование). — Лит.: с. 146. - Прил.: с. 147. — ISBN 978-5-8199-0398-8. — Текст : непосредственный.

Экземпляры: Всего: 2, из них: аб.-1 в наличии 1, ч/з-1 в наличии 1

Найти похожие

URL биб.описания: https://lib.uni-dubna.ru/MegaPRO/UserEntry?Action=FindDocs&ids=129647&idb=ec_110

Подробнее

Авторы: Ездаков А. Л.

Отраслевые рубрики: автоматизированное проектирование, информатика, информационные системы, информационные технологии, проектирование, экспертные системы, интеллектуальные информационные системы

Ключевые слова: базы знаний, графы и/или, дедуктивный вывод, доказательство, искусственный интеллект, исчисление высказываний, исчисление предикатов, клаузальная форма, комбинирование стратегий, коммутативные системы продукций, линейная по входу стратегия, логика предикатов, метод наложений, метод поиска пересечений, метод полного перебора в ширину, метод резолюции, обратные системы продукций, параллельное высокоуровневое проектирование, поиск на графе, правильно построенные формулы (ППФ), представление знаний, префиксная нормальная форма, разложимые системы продукций, резолюция, семантическая сеть Куиллиана, семантические сети, сетевые модели, системы автоматизированного проектирования (САПР), системы дедукций, системы продукций, сколемовская нормальная формула, стратегии управления, стратегия опорного множества, стратегия предпочтения одночленам, структурирование знаний, формальная логика, фреймовая модель представления знаний, экспертные системы типа "объект-признак" (ЭСТОП), экспертные системы, основанные на моделях

Индексы ББК: 16.333.2я73, 30.2-5-05с515я73, 16.333.1я73

Представления: Формат MARC21