Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии

Выберите поиск:
Что искать:
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=вывод на графе дизъюнктов<.>)
Общее количество найденных документов : 1
1.
   519.8
   Д706

   
    Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р.
Допущено МО РФ
ГРНТИ
28.29.03
28
УДК
519.816(075.8)
007(075.8)
Рубрики: Теория принятия решений--Учебные пособия
   Кибернетика
Кл.слова (ненормированные):
интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия


Доп.точки доступа:
Вагин, Вадим Николаевич \ред.\; Поспелов, Дмитрий Александрович \ред.\
Учебная литература:
ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп
Экземпляры всего: 5
чз (3), аб (2)
Свободны: чз (3), аб (2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога