RUSSIAN

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

By Ганичева А. В.

Book information

Publisher
ЭБС Лань
Year
2024
Language
russian
Format
DJVU
Filesize
266 kB (272242 bytes)
Pages
\91
DPI
300
Time added
2025-01-19 16:43:25

Description

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

Similar books