Конспект лекций О. Б. Лупанова по курсу «Введение в математическую логику»: видеоинтервью об Олеге Лупанове

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

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

“Я думаю, что этот учебник будет полезен многим будущим специалистам в естественных науках, в первую очередь специалистам дискретной математики, математической кибернетики, информатики, вычислительной математики”, – отмечает Вадим Васильевич Кочергин. 

О. Б. Лупанов – доктор физико-математических наук, профессор, заведующий кафедрой дискретной математики, декан механико-математического факультета МГУ имени М.В. Ломоносова. Академик РАН и Международной академии наук высшей школы. Заслуженный профессор Московского университета.

Информационный центр по подготовке 270-летия Московского государственного университета имени М. В. Ломоносова представляет серию видеоинтервью «Труды выдающихся учёных МГУ». Как отмечает ректор академик РАН Виктор Садовничий, при подготовке к юбилею издательский дом университета издаёт и переиздаёт книги, благодаря которым можно получить «наилучшее представление об интеллектуальном богатстве Московского университета, о его вкладе в науку и образование». 

Автор текста: Инесса Локтионова