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

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

Кратко изложены теоретические вопросы, необходимые для успешного выполнения практической работы по теме «Булевы функции», рабочее задание, примеры решения задач и задания для самостоятельного решения, контрольные вопросы для самопроверки.

Кратко изложены теоретические вопросы, необходимые для успешного выполнения практической работы по теме «Метод карт Карно», рабочее задание, примеры решения задач и задания для самостоятельного решения, контрольные вопросы для самопроверки.

Кратко изложены теоретические вопросы, необходимые для успешного выполнения практической работы по теме «Полином Жегалкина», рабочее задание, примеры решения задач и задания для самостоятельного решения, контрольные вопросы для самопроверки.