Теория логического вывода: Учебное пособие
А.В. Ганичев, А.В. Ганичева
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов, а также специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
年:
2019
出版社:
ЭБС Лань
语言:
russian
ISBN 10:
5799510143
ISBN 13:
9785799510145
文件:
PDF, 1.98 MB
IPFS:
,
russian, 2019