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

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

Ганичева, А. В.
Теория логического вывода [Электронный ресурс] : учебное пособие для вузов. – 2-е изд., стер. – Санкт-Петербург : Лань, 2024. – 92 с. – Режим доступа : https://e.lanbook.com/book/426269, https://e.lanbook.com/img/cover/book/426269.jpg. – Книга из коллекции Лань - Математика. – На рус. яз. – ISBN 978-5-507-51643-8.

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

510.6

основной = ЭБС Лань
основной = дайджест сентябрь 2024