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
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