CS核心专业教材

CS 书单

精选这一系列教材的理由：
1、讲述内容具学科核心地位，即为其他课程奠定基础，内容相对自包含，具有相对长的时效性，同时也是该学科最难的理论知识。
2、思想性与阅读性俱强。
3、均属著名教材，容易购买或者获取。

1、微积分，James Stewart
2、线性代数导论[MIT]，G. Strang，http://web.mit.edu/18.06/www/index.shtml
3、概率与计算，Michael Mitzenmacher
4、算法导论，CLRS
5、深入理解计算机系统，CSAPP
6、计算机程序的构造与解释，SICP
7、A practical introduction to computer architecture，Daniel Page
8、计算理论导引，ITOC，M. Sipser
9、计算复杂性，Sanjeev Arora，Boaz Barak （也许不是好的选择！但是目前还没有更好的选择.）
10、具体数学，GKP
11、代数，Michael Artin
12、数论概论 (FINT)，J.H. Silverman

13、编译原理：技术与工具 （Dragon Book）
14、Logic in Computer Science：modelling and reasoning about systems，Michael Huth and Mark Ryan，好书！
15、Modern Computer Algebra，Gathen, Joachim Von Zur/ Gerhard, Jurgen/ Von Zur Gathen, Joachim 出版社: Cambridge Univ Pr