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