Курс "Теория алгоритмов", раздел "Машины Тьюринга и функции, вычислимые по Тьюрингу.