Математическая логика и теория алгоритмов
Авторы: Корячко В.П., Скворцов С.В., Бакулев М.А.
Издательство: КУРС
В учебнике изложены основные разделы математической логики: логика высказываний, предикаты, логический вывод, минимизация, базисы и другие, а также некоторые вопросы теории алгоритмов. Материал изложен таким образом, что каждая теоретическая единица сопровождается примерами и практическими заданиями, что позволяет значительно повысить успеваемость не только по данному предмету, но и по другим логико-ориентированным дисциплинам.