Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.
Для студентов и аспирантов.
Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику»
Этот товар закончился
Купили 2 человека
Описание и характеристики
Для студентов и аспирантов.
- Тип обложки Твёрдый переплёт
- Количество страниц 327
- Вес, г 502
- Размер 2.2x14.9x22.3
- Издательство МГУ
- Серия Классический университетский учебник
- Год издания 2023
- ISBN 978-5-19-011840-7
- Тираж 350
- ID товара 3044444