本書で扱うテーマは、アルゴリズムの設計と解析、コンピュータの動作の抽象化、プログラミング言語の理論、計算可能性と計算の複雑さである。１章から４章までがアルゴリズムの設計と解析に当てられている。これらの章ではアプリケーション、応用プログラムを作る立場から計算機科学の中心部へは行っていく。これに対し、コンピュータの動作の抽象化とプログラミング言語の理論に関するのは、５章、６章、７章と８章の一部である。これらの章では、コンピュータの中、ハードウェアや基本ソフトウェアから出発した抽象化によって構築された理論を紹介する。この二つのアプローチが最後の章、８章で一つになり、コンピュータを用いた計算、データ処理の可能性、その限界、効率向上の理論的見通しが明らかになる。