ИСТИНА

В новом выпуске серии видеоинтервью «Труды выдающихся учёных МГУ» мы рассказываем об Олеге Борисовиче Лупанове – докторе физико-математических наук, академике РАН, декане механико-математического факультета МГУ (1980—2006), заслуженном профессоре Московского университета, лауреате Ленинской премии. Книгу «Введение в математическую логику» презентовал доктор физико-математических наук, профессор, заведующий кафедрой дискретной математики механико-математического факультета Вадим Васильевич Кочергин. Научные интересы автора книги сосредоточены на дискретной математике, математической кибернетике и математической логике. Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», который слушали студенты первого года обучения на механико-математическом факультете в 1982–2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики и многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Учебник предназначен для студентов и аспирантов. “Я думаю, что этот учебник будет полезен многим будущим специалистам в естественных науках, в первую очередь специалистам дискретной математики, математической кибернетики, информатики, вычислительной математики”, – отмечает Вадим Васильевич Кочергин.