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

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

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

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Ганичева А. В.
स्वरूप:	Книга
भाषा:	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)

Курс микроэкономики
द्वारा: Нуреев Р. М.

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

Группы и их приложения в физике, химии, кристаллографии
द्वारा: Артамонов В. А., और अन्य