深入理解计算机系统
Randal E. Bryant
Bayesian Data Analysis
Andrew Gelman
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Entropy and Diversity: The Axiomatic Approach
Tom Leinster