Тишин В.В. Теория алгоритмов. Предикаты

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