Теория логического вывода учебное пособие для вузов

Теория логического вывода учебное пособие для вузов

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

保存先:

書誌詳細
第一著者:	Ганичева А. В.
フォーマット:	Книга
言語:	Russian
出版事項:	Санкт-Петербург Лань 2024
版:	2-е изд., стер.
主題:	история теории логического вывода аксиоматический метод Д. Гильберта выводимость в исчислении высказываний метод резолюций логический вывод по нечетким данным
オンライン･アクセス:	https://e.lanbook.com/book/426269 https://e.lanbook.com/img/cover/book/426269.jpg
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Теория логического вывода
著者:: Ганичева А. В.
出版事項: (2021)

Основы теории принятия решений конспект лекций
著者:: Ефимова Т. Б.
出版事項: (2009)

Математическая логика и теория алгоритмов
著者:: Крупский В. Н., 等

Апология математики
著者:: Успенский В. А.

Логика учебное пособие
著者:: Берков, В. Ф.

Теория логического вывода учебное пособие
著者:: Ганичева А. В.
出版事項: (2017)

Введение в теорию поля и ее приложения монография
著者:: Мартынова, И. А.

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

Теория поиска вывода. Происхождение и философские приложения монография
著者:: Брюшинкин В. Н.
出版事項: (2012)

Математическая логика учебное пособие
著者:: Хворостухина, Е. В.

Математическая логика и теория алгоритмов учебное пособие
著者:: Зюзьков, В. М.

Теория логического вывода учебное пособие
著者:: Ганичев А. В.
出版事項: (2019)

Методы научных исследований учебно-методическое пособие

Модификации метода логического анализа данных для задач классификации монография
著者:: Кузьмич, Р. И.

Дискретная математика. Теория и практикум учебник для вузов
著者:: Ерусалимский Я. М.
出版事項: (2023)

Периферийные устройства информационных систем. Методы организации и принципы построения устройств ввода-вывода графической информации учебное пособие
著者:: Овчеренко, В. А.

Разработка интеллектуальных систем на базе нечеткой логики в WinFACT учебно-методические указания
著者:: Седов, В. А.

Математические методы статистики
著者:: Гаральд, Крамер

Системы искусственного интеллекта монография
著者:: Остроух А. В.
出版事項: (2023)

Системы искусственного интеллекта монография
著者:: Остроух А. В.
出版事項: (2024)

Методология психолого-педагогического исследования учебное пособие (практикум)
著者:: Соловьева, О. В.

Математическая логика учебное пособие
著者:: Афанасьев, С. Г.

Математическая логика учебное пособие для спо
著者:: Афанасьев, С. Г.

Периферийные устройства информационных систем. Физические принципы организации и интерфейсы ввода-вывода учебное пособие
著者:: Овчеренко, В. А.

Математическая логика и теория алгоритмов
著者:: Макоха А. Н., 等

Методы машинного обучения учебно-методическое пособие
著者:: Ракитский, А. А.

Дискретная математика: теория, задачи, приложения
著者:: Ерусалимский Я. М.

Теория оптимального управления учебное пособие по дисциплине «теория оптимального управления»
著者:: Эпштейн, Г. Л.

Логика учебник
著者:: Дегтярев, М. Г.

Принципы и методы создания надежного программного обеспечения АСУТП учебное пособие
著者:: Мякишев, Д. В.

Высокоуровневые методы программирования учебно-методический комплекс

Методы измерения 3D-профиля объектов. Фазовые методы учебное пособие
著者:: Гужов, В. И.

Микропроцессорная техника. Схемотехника и программирование учебное пособие
著者:: Булатов, В. Н.

Программирование на языке высокого уровня методические указания к проведению лабораторных работ по курсу «программирование»
著者:: Фарафонов, А. С.

Математическая логика
著者:: Лихтарников Л. М., 等

Логика учебник
著者:: Малыхина, Г. И.

Теория вероятностей и математическая статистика. Курс лекций учебное пособие для спо
著者:: Блягоз З. У.
出版事項: (2022)

Курс микроэкономики
著者:: Нуреев Р. М.

Логический анализ языка
著者:: Арутюнова Н. Д.

Группы и их приложения в физике, химии, кристаллографии
著者:: Артамонов В. А., 等