深入理解计算机系统
Randal E. Bryant
计算理论导引
Michael Sipser
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Theory, Inference and Learning Algorithms
David J. C. MacKay