Теория поиска вывода. Происхождение и философские приложения: монография
Брюшинкин В.Н., Ходикова Н.А.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств
на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские
приложения теории поиска вывода.
Книга адресована специалистам по логике, методологии науки,
искусственному интеллекту.
на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские
приложения теории поиска вывода.
Книга адресована специалистам по логике, методологии науки,
искусственному интеллекту.
Ano:
2012
Editora:
ЭБС Лань
Idioma:
russian
ISBN 10:
599710222X
ISBN 13:
9785997102227
Arquivo:
PDF, 1.25 MB
IPFS:
,
russian, 2012
Litres
Quer adicionar a sua livraria? Entre em contato conosco em support@z-lib.do
Converter ficheiros 
Mais resultados de pesquisa
Outros benefícios 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](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)
