"Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы" - читать интересную книгу автора (Анкудинов Г.И., Иванова И.В., Бригаднов И.А.)