계산 이론은 계산의 고유한 특성, 가능성 및 한계를 이해, 분류 및 분석하는 것을 목표로 하는 이론 컴퓨터 과학의 한 분야를 뜻한다.