| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Брюшинкин, В. Н.
Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Электрон. дан. (1 файл). - Калининград : Балтийский федеральный ун-т им. Иммануила Канта, 2012. - 167 с. - URL: http://www.iprbookshop.ru/23940.
Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Электрон. дан. (1 файл). - Калининград : Балтийский федеральный ун-т им. Иммануила Канта, 2012. - 167 с. - URL: http://www.iprbookshop.ru/23940.
Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
ББК: 22.12
Рубрики: Естественные науки, Математика, Математическая логика (основания математика)
Ключевые слова: искусственный интеллект, логика, поиск вывода, теория поиска, философия
Ссылка на ресурс: http://www.iprbookshop.ru/23940