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

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

Аннотация

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

УДК

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

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

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

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

3 экз.

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

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

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

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