Теория поиска вывода. Происхождение и философские приложения: монография
Брюшинкин В.Н., Ходикова Н.А.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств
на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские
приложения теории поиска вывода.
Книга адресована специалистам по логике, методологии науки,
искусственному интеллекту.
на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские
приложения теории поиска вывода.
Книга адресована специалистам по логике, методологии науки,
искусственному интеллекту.
Год:
2012
Издательство:
ЭБС Лань
Язык:
russian
ISBN 10:
599710222X
ISBN 13:
9785997102227
Файл:
PDF, 1.25 MB
IPFS:
,
russian, 2012
Litres
Хотите добавить книжный магазин? Свяжитесь с нами по support@z-lib.do
Конвертируйте файлы
Больше результатов поиска
Другие преимущества 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/12f7c4750dee23f7a7bf1b440548b4f6e5455def17f1dd1231945895c03de9ff.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
