|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Теория поиска вывода. Происхождение и философские приложениякнига
- Авторы: Брюшинкин Владимир Никифорович, Ходикова Н.А.
- Год издания: 2012
- Издательство: Изд-во БФУ им. И. Канта
- Местоположение издательства: Калининград
- Объём: 166 страниц
- ISBN: 978-5-9971-0222-7
- Монография
- Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
- Добавил в систему: Золин Евгений Евгеньевич