Теория поиска вывода. Происхождение и философские приложения : монография
Брюшинкин В.Н., Ходикова Н.А.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
年:
2012
出版商:
Балтийский федеральный университет им. И.Канта
語言:
russian
頁數:
166
ISBN 10:
599710222X
ISBN 13:
9785997102227
文件:
PDF, 1.59 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)
