Теория поиска вывода. Происхождение и философские приложения
Социально-гуманитарные науки Аспирантура Бакалавриат Магистратура
Характеристики
2012 год • 166 страниц • 1.2 MB
Издательство Балтийский федеральный университет им. И.Канта
ISBN 978-5-9971-0222-7
Тип издания монография
Описание
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.