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