Пособие содержит краткую теорию и варианты заданий по теории алгоритмов, включающих разделы, связанные с машинами Тьюринга, нормальными алгоритмами Маркова, а также теории рекурсивных функций.
Рассматриваются также вопросы, связанные с теорией предикатов.
Пособие рекомендовано к изданию кафедрой Прикладной математики Самарского государственного аэрокосмического университета.