本文将计算的理论基础与基本离散数学相结合。它遵循与其前身相同的组织，即计算机科学基础（同样由W.H.Freeman出版），所有示例和练习均以C语言编写。