Book list

1) 数学分析新讲 - 张筑生
2) 高等代数 - 林成森，盛松
3) Computational Methods - Springer出版社,高等教育出版社
4) 基础集合论 - 北师大
Introduction to Axiomatic Set Theory
5) 面向计算机科学的数理逻辑 - 陆钟万
A Course of Mathematical Logic
6) 图论及其算法 - 王树禾
图论及其应用 - Bondy & Murty
Modern Graph Theory - 世界图书引进有GTM系列
7) 离散数学 - 邵学才
8) [组合数学]： 具体数学 － Graham和Knuth
9）[代数学] Introduction to Linear and Abstract Algebra

＝＝＝＝＝

10） Introduction to Algorithms － Corman
11） 计算机组成与结构 － 王爱英
12） IBM—PC汇编语言程序设计 － 沈美明
The Art of Assembly Language Programming
13） [计算机系统结构]Computer Organization and Architectureesigning for Performance － Stallings
Computer architecture: aquantitative approach － Patterson & Hennessy
14) [操作系统]操作系统的内核设计与实现
现代操作系统
15) [编译原理]Compiler Construction Principles and Practice
16) [数据库]Database System Concepts - Abraham Silberschatz
17) [计算机网络]Computer Networks － Tanenbaum