Новые поступления (книга в стадии обработки) Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : научное издание / В. Н. Вагин [и др.]. - Москва : ФИЗМАТЛИТ, 2004. - 703, [1] с. : ил. - Библиогр. - ISBN 5-9221-0474-8 (в пер.) : 180.00 р.
Рубрики: вычислительная техника--искусственный интеллект Кл.слова (ненормированные): интеллектуальные системы -- модальная логика -- дедуктивный вывод -- абдукция -- принятие решений -- индуктивные методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Вагин, Вадим Николаевич Головина, Елена Юрьевна Загорянская, Анастасия Анатольевна Фомина, Марина Владимировна |
Новые поступления (книга в стадии обработки) Милль, Джонъ Стюартъ (1806-1873) Система логики [Текст] / Дж. С. Милль ; пер. съ 5-го, доп. Лондон. изд. Ф. Резенеромъ. - Санкт-Петербург ; Москва : Изд. книгопродавца-типографа М. О. Вольфа, 1878 - . Т. 1. - 2-е изд. - Санкт-Петербург ; Москва : Изд. книгопродавца-типографа М. О. Вольфа, 1878. - XXXI, [1], 522, XI, [1], VI с. - ISBN [Б. и.] (в пер.) : 13.91 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- названия -- предложение -- определения -- силлогизмы -- индукция -- дедуктивный вывод Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Милль, Джонъ Стюартъ Резенер, Ф. \\пер.\\ |
Новые поступления (книга в стадии обработки) Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : учеб. пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - 2-е изд., испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [2] с. : рис. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 (в пер.) : 591.36 р. Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатика". На обл. авт.: Вагин В. Г. и др.
Рубрики: вычислительная техника--искусственный интеллект Кл.слова (ненормированные): интеллектуальные системы -- модальная логика -- дедуктивный вывод -- абдукция -- принятие решений -- индуктивные методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Вагин, Вадим Николаевич Головина, Елена Юрьевна Загорянская, Анастасия Анатольевна Фомина, Марина Владимировна Вагин, Вадим Николаевич Поспелов, Д. А. |
Новые поступления (книга в стадии обработки) Страбыкин, Д. А. Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.
Рубрики: Вычислительная техника--Обработка данных Кл.слова (ненормированные): обработка данных -- методы логического вывода -- исчисление высказываний -- дедуктивный вывод -- абдуктивный вывод -- исчисление предикатов -- базовый метод параллельного дедуктивного вывода -- обобщенный метод параллельного дедуктивного вывода -- метод параллельного абдуктивного вывода Аннотация: Рассматриваются теория и методы параллельных вычислений для дедуктивного и абдуктивного выводов на знаниях, представленных в виде логических выражений. Анализируются машины и методы логического вывода, применяемые в системах обработки знаний. Дается описание формальных систем двух классов: исчисления высказываний и исчисления предикатов, в рамках которых определяется операция деления дизъюнктов и разрабатываются методы параллельного детективного и абдуктивного выводов. Приводятся примеры решения логических задач и результаты сравнения методов, основанных на делении дизъюнктов, с резолюционными методами. Для научных работников и специалистов, связанных с созданием и применением систем обработки знаний, а также для аспирантов и студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Клайн, М. Математика [Текст] : поиск истины / М. Клайн ; пер. с англ. Ю. А. Данилова ; под ред.: Ю. В. Сачкова, В. И. Аршинова. - М. : Мир, 1988. - 295 с. : ил. ; 22см. - ISBN 5-03-000918-3 : 1.30 р.
Рубрики: Математика--История математики Кл.слова (ненормированные): абсолютное время -- абсолютное пространство -- пространство -- аксиома Плейфера -- аксиомы -- бета-частица -- вероятность -- вибратор Герца -- волна де Бройля -- геометрия -- дедуктивный вывод -- дедукция -- деферент -- дифракция света -- индукция -- комета Галлилея -- материя -- распад протона -- рефракция -- силлогизм Аннотация: Книга ярко и увлекательно рассказывает о роли математики в сложном многовековом процессе познания человеком окружающего мира, её месте и значении в физических науках. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Данилов, Ю. А. Сачков, Ю. В. Аршинов, В. И. |