算法导论
Thomas H. Cormen
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Introduction to Linear Algebra 5th Edition
Gilbert Strang