Полное описание
>
51/К 650
Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" : учебное пособие / Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет ; ответственный редактор А. Б. Угольников. - 2-е изд, испр. и доп. - Москва : Изд-во Московского ун-та, 2023. - 327 с. : ил. - (Классический университетский учебник). - Библиогр.: с. 325-327 (37 назв.). - 350 экз. - ISBN 978-5-19-011840-7 : 300 р. - Текст (визуальный) : непосредственный.
ГРНТИ | УДК | |
27.03.19 | 510 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): алгебра логики -- булевы функции -- полные системы -- монотонные функции -- элементарные функции
Аннотация: Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ имени М. В. Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции. Для студентов и аспирантов.
Доп. точки доступа:
Угольников, А.Б.\ред.\
Московский государственный университет имени М. В. Ломоносова. Механико-математический факультет
>
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Заказ фрагмента документа ₽