Поиск ведется по:
Общее количество найденных документов : 2
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)
Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия
Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ ---
Экземпляры всего: 5
Mесто хранения: чз (3), аб (2)
Свободны: чз (3), аб (2)
Найти похожие
Д706
Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р.
Допущено МО РФ
ГРНТИ 28.29.03
28
УДК:519.816(075.8)007(075.8)
Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия
Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ ---
Экземпляры всего: 5
Mесто хранения: чз (3), аб (2)
Свободны: чз (3), аб (2)
Найти похожие
2.
Барсукова, Оксана Юрьевна
Теория принятия решений [Электронный ресурс] : учебное пособие [для студентов технических специальностей, изучающих курс "Теория принятия решений"] / О. Ю. Барсукова, П. Г. Пичугина, Н. Ю. Скибицкая . - Пенза : Издательство ПГК, 2012 - .
Ч. 1 : Теория игр. - 2012. - 73, [3] с. - Б. ц.
Ключевые слова: теория принятия решений -- теория игр -- биматричные игры -- учебные пособия
Аннотация: Изложен теоретический материал по трем разделам курса «Теория принятия решений»: основные понятия теории игр, биматричные игры и игры с «природой»; рассмотрены примеры решения задач; при- ведены варианты заданий для выполнения лабораторных работ, контрольные вопросы.
Перейти к внешнему ресурсу полный текст в ЭБС "Руконт"
Доп.точки доступа: Пичугина, Полина Григорьевна --- Скибицкая, Наталья Юрьевна ---
Свободных экз. нет
Найти похожие
Барсукова, Оксана Юрьевна
Теория принятия решений [Электронный ресурс] : учебное пособие [для студентов технических специальностей, изучающих курс "Теория принятия решений"] / О. Ю. Барсукова, П. Г. Пичугина, Н. Ю. Скибицкая . - Пенза : Издательство ПГК, 2012 - .
Ч. 1 : Теория игр. - 2012. - 73, [3] с. - Б. ц.
Ключевые слова: теория принятия решений -- теория игр -- биматричные игры -- учебные пособия
Аннотация: Изложен теоретический материал по трем разделам курса «Теория принятия решений»: основные понятия теории игр, биматричные игры и игры с «природой»; рассмотрены примеры решения задач; при- ведены варианты заданий для выполнения лабораторных работ, контрольные вопросы.
Перейти к внешнему ресурсу полный текст в ЭБС "Руконт"
Доп.точки доступа: Пичугина, Полина Григорьевна --- Скибицкая, Наталья Юрьевна ---
Свободных экз. нет
Найти похожие