Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по...
Wedi'i Gadw mewn:
Prif Awdur: | Брюшинкин, В. Н. (070) |
---|---|
Fformat: | Книга |
Pynciau: | |
Mynediad Ar-lein: | Перейти к просмотру издания |
Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
-
Теория поиска вывода. Происхождение и философские приложения монография
gan: Брюшинкин В. Н.
Cyhoeddwyd: (2012) -
Современные информационные технологии систем поддержки принятия решений
gan: Баин А. М. -
Стратегия и аппаратура поиска источников оптического излучения учебник
gan: Румянцев, К. Е. -
Теория логического вывода
gan: Ганичева А. В.
Cyhoeddwyd: (2021) -
Структурные элементы данных: алгоритмы поиска и сортировки учебное пособие для спо
gan: Самуйлов, С. В.