算法设计
Jon Kleinberg
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Pattern Recognition and Machine Learning
Christopher M. Bishop
How to Prove It: A Structured Approach
Daniel J. Velleman
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson