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

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

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