Теория поиска вывода. Происхождение и философские приложения монография

Теория поиска вывода. Происхождение и философские приложения монография

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Брюшинкин В. Н.
Diğer Yazarlar:	Ходикова Н. А.
Materyal Türü:	Книга
Dil:	Russian
Baskı/Yayın Bilgisi:	Калининград БФУ им. И.Канта 2012
Konular:	выводы логико-математические теоремы теория доказательств поризм логические алгоритмы математическая логика гильбертовская теория доказательств искусственный интеллект история логики логика логика (история) логика математическая логические теории математика (философские вопросы) математическая логика теория поиска вывода научная теория поиск вывода рациональная реконструкция теория поиска теория поиска вывода философия формализация эвристик
Online Erişim:	https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Теория поиска вывода. Происхождение и философские приложения монография
Yazar:: Брюшинкин, В. Н.

Логика юридического доказывания
Yazar:: Волков, А. А., ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Математическая логика и теория алгоритмов
Yazar:: Макоха, А. Н., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Языки и исчисления учебное пособие
Yazar:: Верещагин, Н. К.

Математическая логика учебное пособие
Yazar:: Ткаченко, С. В.

Математическая логика и теория алгоритмов методические указания к самостоятельной работе

Дискретная математика
Yazar:: Асеев Г. Г., ve diğerleri

Дискретная математика
Yazar:: Москинова Г. И.

Математическая логика и теория алгоритмов учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий
Yazar:: Гамова, А. Н.

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
Yazar:: Бабичева И. В.
Baskı/Yayın Bilgisi: (2024)

Практикум по логике электронное учебное пособие
Yazar:: Магомедов, Б. М.

Квазиматричная (квазифункциональная) логика
Yazar:: Ивлев Ю. В.

Введение в дискретную математику
Yazar:: Яблонский С. В.

Элементы дискретной математики
Yazar:: Семенчин Е. А.

Введение в дискретную математику
Yazar:: Яблонский С. В.

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Маньшин, М. Е.

Дискретная математика
Yazar:: Куликов В. В.

Дискретная математика учебное пособие для спо
Yazar:: Ганичева А. В.
Baskı/Yayın Bilgisi: (2023)

Дискретная математика учебное пособие для вузов
Yazar:: Ганичева А. В.
Baskı/Yayın Bilgisi: (2024)

Математическая логика и теория алгоритмов учебник
Yazar:: Горюшкин, А. П.

Информатика и математика учебное пособие для студентов вузов, обучающихся по специальности «юриспруденция» (030501)
Yazar:: Попов, А. М.

Задачник по математической логике и теории алгоритмов учебное пособие
Yazar:: Мачикина, Е. П.

Дискретная математика
Yazar:: Куликов В. В.

Классическая и неклассические логики — необходимый компонент науки и современного образования научно-методическое пособие для аспирантов всех специальностей
Yazar:: Гетманова, А. Д.

Справочная книга по математической логике
Yazar:: Барвайс Дж, ve diğerleri

Математическая логика
Yazar:: Лихтарников Л. М., ve diğerleri

Математика для инженеров учебник для вузов
Yazar:: Ганичева А. В.
Baskı/Yayın Bilgisi: (2024)

Прикладная логика учебное пособие
Yazar:: Непейвода, Н. Н.

Логика как часть теории познания и научной методологии
Yazar:: Войшвилло Е. К., ve diğerleri

Учебник по логике
Yazar:: Гетманова А. Д.

Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений учебное пособие
Yazar:: Грес, П. В.

Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений учебное пособие
Yazar:: Грес, П. В.

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Вайнштейн, Ю. В.

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Балюкевич, Э. Л.

Математическая лингвистика и автоматическая обработка текстов на естественном языке учебное пособие
Yazar:: Батура, Т. В.

Математическая логика учебное пособие
Yazar:: Унучек, С. А.

Основы дискретной математики
Yazar:: Осипова В. А.

Дискретная математика в задачах учебное пособие
Yazar:: Ковалёва, Л. Ф.

Classification of countable models of complete theories. Р.1 monograph in two parts
Yazar:: Sudoplatov, S. V.

Математическая логика и теория алгоритмов учебно-методическое пособие
Yazar:: Мачикина, Е. П.