Математическая логика и теория алгоритмов

Смотреть оглавление

Торговый код: 695972

Математическая логика и теория алгоритмов: учебник / В.П. Корячко, С.В. Скворцов, М.А. Бакулева. – Москва: КУРС, 2022. – 144 с.

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