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

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

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

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Ганичева А. В.
Format:	Книга
Sprog:	Russian
Udgivet:	Санкт-Петербург Лань 2024
Udgivelse:	2-е изд., стер.
Fag:	история теории логического вывода аксиоматический метод Д. Гильберта выводимость в исчислении высказываний метод резолюций логический вывод по нечетким данным
Online adgang:	https://e.lanbook.com/book/426269 https://e.lanbook.com/img/cover/book/426269.jpg
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Теория логического вывода
af: Ганичева А. В.
Udgivet: (2021)

Основы теории принятия решений конспект лекций
af: Ефимова Т. Б.
Udgivet: (2009)

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

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

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

Теория логического вывода учебное пособие
af: Ганичева А. В.
Udgivet: (2017)

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

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

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

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

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

Теория логического вывода учебное пособие
af: Ганичев А. В.
Udgivet: (2019)

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

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

Дискретная математика. Теория и практикум учебник для вузов
af: Ерусалимский Я. М.
Udgivet: (2023)

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

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

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

Системы искусственного интеллекта монография
af: Остроух А. В.
Udgivet: (2023)

Системы искусственного интеллекта монография
af: Остроух А. В.
Udgivet: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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