Теория поиска вывода. Происхождение и философские приложения

Теория поиска вывода. Происхождение и философские приложения

629 руб.
Описание

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С.Грязновым. Рассмотрены философские приложения теории поиска вывода.Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.

Название книги Теория поиска вывода. Происхождение и философские приложения
Автор В. Н. Брюшинкин, Н. А. Ходикова
Издательство БФУ им. И. Канта
Серия Библиотека электронного журнала
Год выпуска 2012
ISBN 978-5-9971-0222-7
Язык книги Русский
Страниц 168