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

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

Конспект лекций О. Б. Лупанова по курсу «Введение в математическую логику»
ответственный редактор А. Б. Угольников: Лупанов О. Б.
выбор редакции
ISBN: 978-5-19-011840-7 УДК: 510.6:510.7:519.7 ББК: 22.12 твёрдый переплёт 2023 Формат: 60×90/16 страниц: 327

Учебное издание

Рекомендовано для студентов и аспирантов.

Обратите внимание! Если Вы покупаете электронное издание, лучше зарегистрироваться на сайте и запомнить данные для входа в личный кабинет. Ссылка на книгу будет доступна в Вашем личном кабинете  в разделе "Купленные электронные товары" и прислана Вам на почту, но некоторые почтовые серверы не пропускают письма со ссылками.

1 000 руб.
шт

Содержание

Бесплатно скачать фрагмент книги в формате pdf

Аннотация

Печатается в соответствии с издательской программой, посвящённой 270-летию Московского университета.

Рекомендовано УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям подготовки высшего профессионального образования 010100 «Математика», 010200 «Математика. Прикладная математика» и специальности 010101 «Математика»

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

Для студентов и аспирантов.

Ответственный редактор: А. Б. Угольников (4.12.1951 - 19.07.2013).

Для цитирования
Конспект лекций О. Б. Лупанова по курсу «Введение в математическую логику» / отв. ред. А. Б. Угольников. — Москва: Издательство Московского университета, 2023. — 327, [1] с.: ил. — (Классический университетский учебник).
Об авторе
Лупанов Олег Борисович

доктор физико-математических наук,

(02.06.1932 – 03.05.2006).

Заслуженный профессор Московского университета (2001). Декан механико-математического факультета МГУ (1980—2006).

С 1984 г. механико-математический факультет проводит раз в три года всероссийский/международный научный семинар «Дискретная математика и её приложения». В 2016 г. семинару присвоено имя О.Б.Лупанова.

подробнее, ещё книги