Подробное описание документа

Корячко В. П., Скворцов С. В., Бакулева М. А.
   Математическая логика и теория алгоритмов : учебник / Корячко В. П., Скворцов С. В., Бакулева М. А. - М. : КУРС, 2025. - 141 с. : табл. - Библиогр. в конце кн. - ISBN 978-5-907535-63-3.

Аннотация

В учебнике изложены основные разделы математической логики: логика высказываний, предикаты, логический вывод, минимизация, базисы и другие, а также некоторые вопросы теории алгоритмов.
Материал изложен таким образом, что каждая теоретическая единица сопровождается примерами и практическими заданиями, что позволяет значительно повысить успеваемость не только по данному предмету, но и в других логико-ориентированных дисциплинах.

УДК

510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Общее кол-во в фондах

1 экз.

Заказать на абонемент

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313