Теория поиска вывода. Происхождение и философские приложения

Вес 7.9 г
Габариты 8.5 × 5.7 × 1.0 см
handling_time

14 days

ISBN

978-5-9971-0222-7

EAN

9785997102227

Формат

60×90/16

Издательство

Серия

Переплет

Автор

Стандарт

14

Год выпуска

Количество страниц

SKU

198000

Формат, мм\см

145×215

Язык

Тип издания

Отдельное издание

Тираж

151 
icon

* в связи с отменой регулярного авиасообщения срок доставки может быть дольше обычного

Описание

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

Книги, изданные в Израиле