Каждая глава содержит теоретический материал для усвоения курса, упражнения, примеры и описание алгоритма выполнения логических задач. В приложении представлены программа курса, литература для углубленного изучения, темы рефератов, вопросы для самоконтроля, тестовые задания, 100 вариантов итоговых контрольных работ, которые могут быть использованы для проверки степени усвоения курса. Структура и авторский стиль изложения делают данное издание понятным и полезным для читателей различного уровня подготовки.