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

Предназначены для обучающихся дневного и заочного отделений ДГТУ, изучающих курс теории алгоритмов. Могут быть использованы для самостоятельного изучения дисциплины «Теория алгоритмов».