编译原理
Alfred V. Aho
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
Beginning Mathematical Logic: A Study Guide
Peter Smith
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Calculus
Gilbert Strang