Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Book of Proof
Richard H. Hammack
计算理论导引
Michael Sipser
Recommender Systems: The Textbook
Charu C. Aggarwal
Algorithms for Convex Optimization
Nisheeth K. Vishnoi