Teorija logicheskogo vyvoda. Uchebnoe posobie dlja vuzov

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

• Tekijä(t): Ganicheva A. V.
• Kieli: Venäjä
• Kustantaja: Lan, Planeta muzyki
• Ilmestymisvuosi: 2021
• Sidosasu: Pehmeä kansi
• Sivumäärä: 92
• ISBN: 978-5-8114-7284-0

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