Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей "Информатика и вычислительная техника", а также других специальностей, изучающих раздел математической логики - теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Rassmotreny voprosy teorii logicheskogo vyvoda: istorija teorii logicheskogo vyvoda, aksiomaticheskij metod D. Gilberta, vyvodimost v ischislenii vyskazyvanij, metod rezoljutsij, logicheskij vyvod po nechetkim dannym.Prednaznacheno preimuschestvenno dlja studentov inzhenernykh fakultetov i vuzov po ukrupnennym gruppam spetsialnostej "Informatika i vychislitelnaja tekhnika", a takzhe drugikh spetsialnostej, izuchajuschikh razdel matematicheskoj logiki - teoriju logicheskogo vyvoda. Mozhet byt polezno dlja magistrov, aspirantov, prepodavatelej i spetsialistov, profil interesov i rabota kotorykh svjazany s voprosami matematicheskoj logiki.
