• ВХОД

    •  

    Полное описание

    Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" : учебное пособие / Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет ; ответственный редактор А. Б. Угольников. - 2-е изд, испр. и доп. - Москва : Изд-во Московского ун-та, 2023. - 327 с. : ил. - (Классический университетский учебник). - Библиогр.: с. 325-327 (37 назв.). - 350 экз. - ISBN 978-5-19-011840-7. - Текст (визуальный) : непосредственный.
    ГРНТИ УДК
    27.03.19510

    Рубрики:
    Математическая логика

    Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- БУЛЕВЫ ФУНКЦИИ -- МОНОТОННЫЕ ФУНКЦИИ -- ПОЛНЫЕ СИСТЕМЫ -- ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ
    Аннотация: Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ имени М. В. Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.
    Доп. точки доступа:
    Угольников, А.Б.\ред.\
    Московский государственный университет имени М. В. Ломоносова. Механико-математический факультет

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-23/15378)

    Шифр в сводном ЭК: 7f92699e65a41ebdd8c7547c1728284f



    Заказ фрагмента документа