Настоящее учебное пособие предназначено для студентов ВСГУТУ, обучающихся по направлениям бакалавриата «Информатика и вычислительная техника», «Информационные системы и технологии», «Прикладная информатика», «Программная инженерия», «Математическое обеспечение и администрирование информационных систем» и изучающих дисциплину «Математическая логика и теория алгоритмов».
Основная цель издания  оказать содействие в глубоком освоении как теоретической, так и практической составляющей курса. Учебное пособие сфокусировано на важнейших разделах математической логики и теории алгоритмов и включает в себя систематизированный теоретический материал, методические указания по решению задач и варианты индивидуальных практических работ.
Учебное пособие может быть рекомендовано студентам других IT-специальностей и преподавателям.