Учебник представляет собой готовое решение для методического обеспечения дисциплины «Математическая логика и теория алгоритмов». В учебник включены лекции практические задания и вопросы к экзамену подготовленные за десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях. Учебник подготовлен для студентов учреждений высшего профессионального образования по направлениям подготовки «Прикладная информатика» и «Программная инженерия» и полностью соответствует Федеральным Государственным образовательным стандартам по данным направлениям.