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