Подробное описание документа

Брюшинкин В. Н., Ходикова Н. А.
   Теория поиска вывода. Происхождение и философские приложения : монография / Брюшинкин В. Н., Ходикова Н. А. - Балтийский федеральный университет им. Иммануила Канта, 2012. - ISBN 978-5-9971-0222-7.

IPR SMART

Войти и читать

https://www.iprbookshop.ru/23940.html

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