Печатается в соответствии с издательской программой, посвященной 270-летию Московского университета.
Рекомендовано УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки высшего профессионального образования 010100 "Математика", 010200 "Математика. Прикладная математика" и специальности 010101 "Математика"
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ имени М. В. Ломоносова в 1982–2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.
Ответственный редактор: А. Б. Угольников (4.12.1951 - 19.07.2013).