계산

좁은 의미에서는 수식의 단순화¹⁾로부터, 넓은 의미에서는 잘 정의된 입력을 그에 의존하는 다른 잘 정의된 출력으로 변환하는 모든 과정을 이른다. 전산학의 알고리즘을 계산의 엄밀한 정의로 쓸 수 있을 것이다.

¹⁾ 예를 들어 7 \times 8의 단순화는 56이지만, (\sqrt2)^3의 단순화는 2.828…일 수도 있으나 (이는 단순화라기보다는 근사에 가깝다) 2\sqrt2일 수도 있다는 점을 생각하면 이 표현이 정당함을 이해할 수 있을 것이다.