517 Б 898 Брюшинкин, Владимир Никифорович. Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Калининград : Издательство Балтийского федерального ун-та им. Иммануила Канта, 2012. - 166 с. - (Библиотека электронного журнала "РАЦИО.ru" ; вып. 6). - Библиогр.: с. 158-166. - ISBN 978-5-9971-0222-7 : 200 р.
Кл.слова (ненормированные): ПОИСК ВЫВОДА -- ГИЛЬБЕРТОВСКАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО -- ЭВРИСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Доп.точки доступа: Ходикова, Нина Анатольевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
23940 Брюшинкин, В. Н. Теория поиска вывода. Происхождение и философские приложения [Текст] : монография / Брюшинкин В. Н. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 167 с. - ISBN 978-5-9971-0222-7 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): искусственный интеллект -- логика -- поиск вывода -- теория поиска -- философия Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. Перейти: Перейти к просмотру издания Доп.точки доступа: Ходикова, Н. А. Свободных экз. нет |