Теорема о рекуррентных оценках. Машины Тьюринга. Основы теории вычислимости. Основы теории сложности вычислений.