Содержат задания для проведения практических занятий по темам «Логика высказываний», «Логика предикатов», «Частично рекурсивные функции» и «Машина Тьюринга». Представлен теоретический материал для выполнения упражнений и разбор примеров их решений. Предназначены для студентов очной и заочной форм обучения специальностей 220100 «Вычислительные машины, комплексы, системы и сети», 220300 «Системы автоматизированного проектирования» и 220400 «Программное обеспечение вычислительной техники и автоматизированных систем» по курсу «Математическая логика и теория алгоритмов».