Артикул: p7091841
Последний экземпляр
20 раз
купили
1989
p.
Характеристики
- Издательство: МГУ им. Ломоносова
- Серия: Классический университетский учебник
- Год издания:2023
- Жанр: Математические науки
- ISBN:978-5-19-011840-7
- Переплет: Твёрдый переплёт
- Формат: 149x223 мм
- Общий тираж: 350
- Вес: 502 г
Описание
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.