计算机数学

A Mathematical Foundation for Computer Science (Concrete Mathematics)