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