Теория поиска вывода. Происхождение и философские приложения
В. Н. Брюшинкин Н. А. Ходикова
бумажная книга
12.77 USD
В корзину
Наличие на складе:
Склад в Москве
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 03.12.2024; планируемая отправка: 04.12.2024
Склад в С.-Петербурге
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.12.2024; планируемая отправка: 07.12.2024
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
