沈恩绍著2003 年出版198 页ISBN：7030110471
21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...
（美）R. Mark Meyer著；王瑾等译2003 年出版138 页ISBN：7505387049
本书通过实验讲述了计算机科学的各个基础部分，包括数字系统、逻辑电路、计算机周期、低级语言、计算机绘图、操作系统、磁盘规划、电子数据表、数据库、人工智能、网络、HTML基础、计算的局限性等内容。每个...
AlanW.Biermann，DietolfRamm著2002 年出版528 页ISBN：7040112582
（美）Michael T.Heath著2001 年出版563 页ISBN：7302049009
本书全面介绍了科学计算中解各种主要问题的数值方法，包括线性和非线性方程，最小二乘法，特征值，最优化等。
（英）盖伊·德·拉·贝杜瓦耶，艾伦·莫顿著2009 年出版132 页ISBN：9787543653108
本书主要介绍了计算机、原子分裂、相对论的发现过程及其原理，重点介绍这些发现对现代生活和科学的重要作用。
JEFFERY J.LEADER著2008 年出版499 页ISBN：9787302169147
本书介绍数值分析的知识与MATLAB进行科学计算的方法。
