Теория поиска вывода. Происхождение и философские приложения : монография
Брюшинкин В.Н., Ходикова Н.А.
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Έτος:
2012
Εκδότης:
Балтийский федеральный университет им. И.Канта
Γλώσσα:
russian
Σελίδες:
166
ISBN 10:
599710222X
ISBN 13:
9785997102227
Αρχείο:
PDF, 1.59 MB
IPFS:
,
russian, 2012
Litres
Θέλετε να προσθέσετε βιβλιοπωλείο; Επικοινωνήστε μαζί μας στο support@z-lib.fm
Μετατροπή αρχείων
Περισσότερα αποτελέσματα αναζήτησης
Λοιπά πλεονεκτήματα 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](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)
