Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
深入理解计算机系统
Randal E. Bryant
矩阵计算
Charles F. van Loan & Gene H. Golub
Algorithm Design
Jon Kleinberg & Éva Tardos