算法导论
Thomas H. Cormen
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
深入理解计算机系统
Randal E. Bryant
Beginning Mathematical Logic: A Study Guide
Peter Smith
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)