519.1 К891 Кузнецов, Олег Петрович. Дискретная математика для инженера : [Учеб. пособие для вузов] / О.П. Кузнецов, Изд. 3-е, перераб. и доп. - М. ; СПб. ; Краснодар : Лань, 2004. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - ISBN 5811405707 : 142.12 р. ГРНТИ 27.29.25 УДК:519.1(075.8) Ключевые слова: дискретная математика -- множества -- функции -- отношения -- общая алгебра -- математическая логика -- графы -- алгоритмы -- теория алгоритмов -- формальные системы -- языки -- грамматики -- математическая лингвистика -- автоматы -- учебные пособия Экземпляры всего: 27 Mесто хранения: чз (3), аб (24) Свободны: чз (3), аб (23) |
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) |
007 Л789 Лорьер, Жан-Луи. Системы искусственного интеллекта / Ж. -Л. Лорьер ; пер. с фр. под ред. В. Л. Стефанюка. - Москва : Мир, 1991. - 568 с. : ил. - ISBN 5-03-001408-Х : 7.90 р. ГРНТИ 28.23 УДК:007 Ключевые слова: искусственный интеллект -- представление задачи -- формальные системы -- распространение ограничений -- методы перебора -- игровые программы -- экспертные системы -- информационная система ALICE -- усвоение знаний Доп.точки доступа: Стефанюк, В. Л. \пер., ред.\ --- Экземпляры всего: 2 Mесто хранения: зал ППС (1), чз (1) Свободны: зал ППС (1), чз (1) |
51 С722 Спирина, Марина Савельевна. Дискретная математика : учебник для среднего профессионального образования по специальностям "Информационные системы и программирование", "Сетевое и системное администрирование" / М. С. Спирина, П. А. Спирин. - 2-е изд., стер. - Москва : Издательский центр "Академия", 2018. - 367, [1] с. : рис., табл. ; 21 см. - (Профессиональное образование). - 1000 экз.. - ISBN 978-5-4468-6160-6 (в пер.) : 1220 р. ГРНТИ 27.03 УДК:51(075.32) Ключевые слова: дискретная математика -- множества -- графы -- понятия -- математическая логика -- формальные системы -- умозаключения -- логика педикатов -- кодирование -- конечные автоматы -- учебники Доп.точки доступа: Спирин, Павел Алексеевич --- Экземпляры всего: 25 Mесто хранения: аб (25) Свободны: аб (25) |