теория вычислений

Теория вычислений -- направление  компьютерных наук, занимающаяся вопросами возможности и осуществлнения решения задач с применением  модели вычисления, использующей алгоритм. Это направление подразделяктся на две основные ветви: теория вычислимости и сложность вычислений, однако обе они опираются на модели вычислений .