计算理论导引
Michael Sipser
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
编译原理
Alfred V. Aho