Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Izlagajutsja osnovnye ponjatija matematicheskoj logiki i teorii algoritmov: ischislenie vyskazyvanij, ischislenie predikatov pervogo porjadka, ischislenie sekventsij (Genttsena), metod rezoljutsij i universalnyj jazyk programmirovanija Prolog, chastichno rekursivnye funktsii, mashiny Tjuringa i universalnyj jazyk programmirovanija LISP. Privedeny primery algoritmicheski nerazreshimykh problem. Pokazana algoritmicheskaja nerazreshimost logiki predikatov i aksiomaticheskoj arifmetiki. Dano ponjatie o teoremakh Gedelja. Prednaznacheno studentam vysshikh tekhnicheskikh uchebnykh zavedenij, spetsializirujuschimsja v oblasti prikladnoj matematiki, vychislitelnoj tekhniki, programmirovanija, informatiki.
