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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Ганичева А. В.
Fformat:	Книга
Iaith:	Russian
Cyhoeddwyd:	Санкт-Петербург Лань 2024
Rhifyn:	2-е изд., стер.
Pynciau:	история теории логического вывода аксиоматический метод Д. Гильберта выводимость в исчислении высказываний метод резолюций логический вывод по нечетким данным
Mynediad Ar-lein:	https://e.lanbook.com/book/426269 https://e.lanbook.com/img/cover/book/426269.jpg
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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