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

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

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

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Ганичева А. В.
Formáid:	Книга
Teanga:	Russian
Foilsithe / Cruthaithe:	Санкт-Петербург Лань 2024
Eagrán:	2-е изд., стер.
Ábhair:	история теории логического вывода аксиоматический метод Д. Гильберта выводимость в исчислении высказываний метод резолюций логический вывод по нечетким данным
Rochtain ar líne:	https://e.lanbook.com/book/426269 https://e.lanbook.com/img/cover/book/426269.jpg
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Теория логического вывода
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2021)

Основы теории принятия решений конспект лекций
de réir: Ефимова Т. Б.
Foilsithe / Cruthaithe: (2009)

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

Апология математики
de réir: Успенский В. А.

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

Теория логического вывода учебное пособие
de réir: Ганичева А. В.
Foilsithe / Cruthaithe: (2017)

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

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

Теория поиска вывода. Происхождение и философские приложения монография
de réir: Брюшинкин В. Н.
Foilsithe / Cruthaithe: (2012)

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

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

Теория логического вывода учебное пособие
de réir: Ганичев А. В.
Foilsithe / Cruthaithe: (2019)

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

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

Дискретная математика. Теория и практикум учебник для вузов
de réir: Ерусалимский Я. М.
Foilsithe / Cruthaithe: (2023)

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

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

Математические методы статистики
de réir: Гаральд, Крамер

Системы искусственного интеллекта монография
de réir: Остроух А. В.
Foilsithe / Cruthaithe: (2023)

Системы искусственного интеллекта монография
de réir: Остроух А. В.
Foilsithe / Cruthaithe: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теория вероятностей и математическая статистика. Курс лекций учебное пособие для спо
de réir: Блягоз З. У.
Foilsithe / Cruthaithe: (2022)

Курс микроэкономики
de réir: Нуреев Р. М.

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

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