RU ENG
Учебное издание
Рекомендовано для студентов и аспирантов.
Обратите внимание! Если Вы покупаете электронное издание, лучше зарегистрироваться на сайте и запомнить данные для входа в личный кабинет. Ссылка на книгу будет доступна в Вашем личном кабинете в разделе "Купленные электронные товары" и прислана Вам на почту, но некоторые почтовые серверы не пропускают письма со ссылками.
Печатается в соответствии с издательской программой, посвящённой 270-летию Московского университета.
Рекомендовано УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки высшего профессионального образования 010100 «Математика», 010200 «Математика. Прикладная математика» и специальности 010101 «Математика»
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М. В. Ломоносова в 1982–2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.
Ответственный редактор: А. Б. Угольников (4.12.1951 - 19.07.2013).
доктор физико-математических наук,
(02.06.1932 – 03.05.2006).
Заслуженный профессор Московского университета (2001). Декан механико-математического факультета МГУ (1980—2006).
С 1984 г. механико-математический факультет проводит раз в три года всероссийский/международный научный семинар «Дискретная математика и её приложения». В 2016 г. семинару присвоено имя О.Б.Лупанова.
подробнее, ещё книги
