--高等数学--
华罗庚先生的《高等数学导论》
高等数学大学教材
--数学分析--
北大张筑生《数学分析新讲》
--高等代数--
南京大学林成森，盛松柏两位老师编的《高等代数》
《to Linear and Abstract Algebra》
（莫宗坚先生的《代数学》--提高读物）
--概率论与数理统计--
林元烈 梁宗霞 《随机数学引论》清华大学出版社
魏宗舒 《概率论与数理统计教程》高等教育出版社
--计算方法学--
大家高等教育出版社（CHEP）和施普林格出版社(Springer)联合出版的《计算方法（Computational Methods）》,华中理工大学数学系
--离散数学--
古典集合论，北师大出过一本《基础集合论》；
数理逻辑，中科院软件所陆钟万教授的《面向计算机科学的数理逻辑》
（GTM系列中的《Introduction to Axiomatic Set Theory》和《A Course in Mathematical Logic》--提高读物）
图论，王树禾老师的《图论及其算法》；Bondy & Murty的《图论及其应用》；GTM系列的《Modern Graph Theory》
邵学才
--计算数学--
Graham和Knuth等人合著的经典《具体数学》；
《组合数学》，《空间解析几何》还有那本《拓扑学》；
--算法--
Corman等著的《Introduction to Algorithms》为最优。
The Art of Computer Programming》3册
--数论--（不作为主要方向）
《初等数论》 (潘氏兄弟著,北大版)
《数论导引》华罗庚先生
--形式语言与自动机--（需要注意）
MIT的sipser的 《introduction to theory of computation》
--计算机系统--
《计算机组成与结构》清华大学王爱英教授
清华大学沈美明的《IBM-PC汇编语言程序设计》
Kenneth C.Louden写的《Compiler Construction Principles and Practice》即是《编译原理及实践》（机械工业出版社的译本）
高教的操作系统概念
谢希仁的《计算机网络教程》（人民邮电出版社）
----------人工智能-----------
涂晓媛博士的著作《人工鱼-计算机动画的人工生命方法》（清华大学出版社）。涂氏父女。
关于人工智能的书当然首选《Artificial Intelligence A New Synthesis》Nils J.Nilsson。