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

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

書目詳細資料
主要作者:	Брюшинкин В. Н.
其他作者:	Ходикова Н. А.
總結:	Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту. Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки
出版:	Калининград, БФУ им. И.Канта, 2012
主題:	выводы логико-математические теоремы теория доказательств поризм логические алгоритмы математическая логика гильбертовская теория доказательств искусственный интеллект история логики логика логика (история) логика математическая логические теории математика (философские вопросы) математическая логика теория поиска вывода научная теория поиск вывода рациональная реконструкция теория поиска теория поиска вывода философия формализация эвристик
在線閱讀:	https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg
格式:	電子圖書

相似書籍

Как математика ум в порядок приводит
由: Столяр А. А. Абрам Аронович
出版: (Минск, Высшая школа, 1991)

Основания математики. Логические исчисления и формализация арифметики.
由: Гильберт Д. Давид
出版: (Москва, Наука, 1982)

Математическая логика учебное пособие
由: Колмогоров А.Н. Андрей Николаевич
出版: (Москва, УРСС, 2005)

Теория логического вывода
出版: (Москва, Наука, 1973)

Логика: теория аргументации и критического мышления
由: Воробьева С. В.
出版: (Минск, БГУ, 2018)

Логический вывод
出版: (Москва, Наука, 1979)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2021)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2022)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2024)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
由: Скорубский В. И. Владимир Иванович
出版: (Москва, Юрайт, 2025)

Математическая логика и теория алгоритмов учебное пособие
由: Шелупанов А. А. Александр Александрович
出版: (Томск, STT, 2001)

Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование [учебное пособие]
由: Гданский Н. И. Николай Иванович
出版: (Москва, Вузовская книга, 2011)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
由: Бирюков Б. В. Борис Владимирович
出版: (Москва, Едиториал УРСС, 2004)

Математическая логика и теория алгоритмов
由: Блатов И. А.
出版: (Самара, ПГУТИ, 2017)

Теория графов: алгебраическая теория учебное пособие для вузов
由: Константинова Е. В. Елена Валентиновна
出版: (Москва, Юрайт, 2024)

Теория графов: алгебраическая теория учебник для вузов
由: Константинова Е. В. Елена Валентиновна
出版: (Москва, Юрайт, 2025)

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
由: Прокопенко Н. Ю.
出版: (Нижний Новгород, ННГАСУ, 2021)

Логика в информатике Методическое пособие
由: Лыскова В. Ю. Вероника Юрьевна
出版: (Москва, Лаборатория Базовых Знаний, 2004)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
由: Бабичева И. В.
出版: (Санкт-Петербург, Лань, 2024)

Введение в математическую логику пер. с англ.
由: Мендельсон Э. Эллиот
出版: (Москва, Наука, 1971)

Математическая логика и теория алгоритмов для программистов учебное пособие
由: Гринченков Д. В. Дмитрий Валерьевич
出版: (Москва, КноРус, 2010)

Формы логики
出版: (Пекин, Народное изд-во, 2005)

Теория логического вывода учебное пособие
由: Ганичева А. В.
出版: (Тверь, Тверская ГСХА, 2017)

Непрерывная логика. Теория и применения
由: Волгин Л. И. Леонид Иванович
出版: (Таллинн, 1990)

Дискретная математика для инженера
由: Кузнецов О. П.
出版: (Санкт-Петербург, Лань, 2022)

Математическая логика задачник-практикум для студентов физико-математического факультета
由: Троякова Г. А.
出版: (Кызыл, ТувГУ, 2018)

Роль дискриптивной логики в порталах управления знаниями
由: Усов М. В.
出版: (2004)

Исследование логических систем
出版: (Москва, Наука, 1970)

Дискретная математика учебное пособие
由: Бекарева Н. Д.
出版: (Новосибирск, НГТУ, 2019)

Теория алгорифмов
由: Марков А. А. Андрей Андреевич
出版: (Москва, Фазис, 1997)

Логическое программирование и моделирование систем учебное пособие
由: Новосельцев В. Б. Виталий Борисович
出版: (Томск, Изд-во ТПУ, 2008)

Симметрическая конструктивная логика
由: Заславский И. Д. Игорь Дмитриевич
出版: (Ереван, Изд-во АН Армянской ССР, 1978)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
由: Любецкий В. А. Василий Александрович
出版: (Москва, Юрайт, 2022)

Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
由: Любецкий В. А. Василий Александрович
出版: (Москва, Юрайт, 2025)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
由: Любецкий В. А. Василий Александрович
出版: (Москва, Юрайт, 2023)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
由: Любецкий В. А. Василий Александрович
出版: (Москва, Юрайт, 2021)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
由: Любецкий В. А. Василий Александрович
出版: (Москва, Юрайт, 2024)

Математическая логика и теория алгоритмов для программистов учебное пособие
由: Гринченков Д. В. Дмитрий Валерьевич
出版: (Москва, КноРус, 2013)

Дискретная математика учебное пособие для вузов
由: Ганичева А. В.
出版: (Санкт-Петербург, Лань, 2024)