Теория поиска вывода. Происхождение и философские приложения
Серия:Библиотека электронного журнала Автор:В. Н. Брюшинкин, Н. А. Ходикова Издательство:БФУ им. И. Канта Страниц:168 Год:2012 Обложка:Мягкий переплет Размер:60x90/16 SKU:RU722149 ISBN:9785997102227 Наша цена:US $55.00
Отправляется через 16-24 дня
|
Описание
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.©2024 Troyka Online All rights reserved.