Shorter science & civilisation in China

作者：  (英)李约瑟(Joseph Needham’s)原著;(英)柯林·罗南(Colin A. Ronan)改编;上海交通大学科学史系译

出版社：上海人民出版社,2010

简介：　　李约瑟教授编著的《中国科学技术史》乃是20世纪的划时代巨著，本书是在该书的基础上改编而成的普及读物，同样具有重要价值。李约瑟在从事最尖端的生物化学研究时，改行研究科技史，使人敬佩，尤其是身为英国学者，愿意摒弃西方历来对中国科技傲慢的立场，以实事求是的态度，彻底研究我国二千多年来科技与文明的发展，这种高尚的精神实在难能可贵。由于跨越和覆盖的范围很广泛，书中的有些结论还不能算是定案，但无论如何，本书对科技史普及的贡献是无可置疑的。 　　《中华科学文明史》分上下两册，共五卷。作为李约瑟巨著的缩写本，本书承原著之精要，以简明流畅的历史叙事，达到了深入浅出、举重若轻的境界，勾勒出中华几千年来辉煌的科学技术与文明史。书中以数理科学即数学、天文学、物理学等可以量化的科学为主，还涉及了医学、气象学、地理学、工程学等领域，包括对中国古代的儒、释、道、墨、法等各家思想也作了论述，堪称是对中国古代科技与文明的通史性读本。

Idea of nature

作者：  (英)柯林武德(Robin George Collingwood)著;吴国盛译

出版社：北京大学出版社,2006

简介：柯林武德认为，西方自然哲学的演进过程可以分为三个时期，每个时期都有一个占主导地位的自然观，而每一个自然面都建立在一个类比之上。希腊自然观是有机自然观，它基于自然（大宇宙）与人类个体（小宇宙）之间的类比。文艺复兴的自然观是机械自然观，它基于上帝创世与工匠制造机器之间的类比。现代自然观是进化自然观，它基于自然过程与历史过程之间的类比。为了深入地理解各个时期的自然观，我们就需要研究使得“类比”成为可能的其他人类思想。柯林武德的结论是，我们终将由理解自然而走向理解历史。 “作为一种思想形式的自然科学，存在于且一直存在于一个历史的语境之中，并且其存在依赖于历史思想。由此我斗胆推断，一个人除非理解历史，否则他就不能理解自然科学；除非他知道历史是什么，否则就不能回答自然是什么这个问题。”

离散数学及算法

作者：  曹晓东，原旭编著

出版社：机械工业出版社,2007

简介：前言 第一篇 计算机科学中的离散结构 　第1章 命题逻辑 　　1.1 引言 　　1.2 命题及命题逻辑联结词 　　　1.2.1 命题 　　　1.2.2 逻辑联结词 　　1.3 命题变元和合式的公式 　　1.4 重言式(或永真式)和永真蕴涵式 　　　1.4.1 有关重言式的讨论 　　　1.4.2 重言式与恒等式 　　　1.4.3 永真蕴涵式的定义和常用永真蕴涵式 　　　1.4.4 代入规则和替换规则 　　1.5 对偶原理 　　1.6 范式和判定问题 　　　1.6.1 析取范式和合取范式 　　　1.6.2 主析取范式和主合取范式 　　1.7 命题演算的推理理论 　　小结 　第2章 谓词逻辑 　　2.1 谓词演算 　　　2.1.1　谓词和量词 　　　2.1.2　谓词和个体 　　　2.1.3　量词 　　　2.1.4　合式公式 　　　2.1.5　自由变元和约束变元 　　　2.1.6　谓词公式的解释 　　　2.1.7　含有量词的等价式和永真蕴涵式 　　2.2　谓词逻辑中的推理理论 　　　2.2.1　谓词公式的翻译 　　　2.2.2　推理规则 　　2.3　谓词公式的范式 　　　2.3.1　前束范式 　　　2.3.2　斯柯林范式 　　小结 　第3章　集合论 　　3.1　集合的概念及其表示 　　3.2　集合的运算 　　3.3　集合定律 　　3.4　包含排斥原理 　　3.5　多重序元与笛卡儿乘积 　　　3.5.1　序偶和多重序元 　　　3.5.2　笛卡儿乘积 　　小结 　第4章　二元关系　 　　4.1　关系的基本概念 　　4.2　关系的性质 　　4.3　关系的表示 　　4.4　关系的运算 　　　4.4.1　关系的合成 　　　4.4.2　合成关系的矩阵表达和图解 　　　4.4.3　关系的求逆运算 　　　4.4.4　关系的闭包运算 　　4.5　特殊关系 　　　4.5.1　集合的划分和覆盖 　　　4.5.2　等价关系 　　　4.5.3　相容关系　 　　　4.5.4　次序关系　 　　　4.5.5　偏序集合与哈斯图 　　小结 　第5章　函数 　第6章　代数系统 　第7章　图论 第二篇　离散数学中的算法 　第8章　数理逻辑中的算法 　第9章　集合论中的算法 　第10章　关系中的算法 　第11章　函数中的算法 　第12章　代数系统中的算法 　第13章　图论中的算法 附录　考研例题解析 参考文献