Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
斯坦福算法博弈论二十讲
Tim Roughgarden