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

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