编程珠玑
Jon Bentley
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Beginning Mathematical Logic: A Study Guide
Peter Smith
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar