Учебное пособие составлено на основе конспектов лекций ака-
демика РАН О. Б. Лупанова по курсу «Введение в математическую
логику», прочитанных им на первом курсе механико-математи-
ческого факультета МГУ имени М. В. Ломоносова в 1982–2006 гг.
В пособии рассматриваются следующие вопросы: функции алгебры
логики, функции многозначной логики, исчисление вы-
сказываний, логика и исчисление предикатов, логические сети,
конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.