учеб. пособие для студ. высш. учеб. заведений; Гриф МО РФ; Учебное пособие; ВУЗ; Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебном пособии: Игошин В. И. Математическая логика и теория алгоритмов. — М.: Издательский центр «Академия», 2004. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».