コンピュータによる計算とは何か？コンピュータで行える計算の限界はどこにあるのか？計算機科学におけるもっとも基本的，かつ重要な疑問を，プログラミングを通して紐解く一冊．

本書では，チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ，それぞれのモデルにおける計算の基礎理論と計算可能性を，豊富な具体例と問題を通して解説します．

また，計算モデルの数学的基礎だけでなく，これらのモデルをもとに実装されたプログラミング言語についても，紙面を割いて解説しています．計算の理論と実装例とを比較しながら学習することで，スコープ・カリー化・継続など，抽象的で掴みづらいプログラミング技法への理解が深まります．