Электронный каталог

Электронный ресурс

Ганичева, А. В.
Теория логического вывода [Электронный ресурс] : учебное пособие. – Тверь : Тверская ГСХА, 2017. – 60 с. – Режим доступа : https://e.lanbook.com/book/134159, https://e.lanbook.com/img/cover/book/134159.jpg. – Книга из коллекции Тверская ГСХА - Математика. – На рус. яз.

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

510.662

основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань