Вид документа : Шифр издания : 23940 Автор(ы) : Брюшинкин В. Н. Заглавие : Теория поиска вывода. Происхождение и философские приложения : Монография Выходные данные : Калининград: Балтийский федеральный университет им. Иммануила Канта, 2012 Колич.характеристики :167 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-9971-0222-7: Б.ц. УДК : 510.66 ББК : 22.12 Ключевые слова (''Своб.индексиров.''): искусственный интеллект--логика--поиск вывода--теория поиска--философия Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. Доп.точки доступа: Ходикова, Н. А.