本書は、“計算”の定義から始めて、原理的な計算可能性へ、そしてさらに実際的な計算可能性の理論へと進む。あくまで計算機科学の教科書であることを意図しており、記述はそのレベルを超えないようにした。