石纯一，李明树等编著2000 年出版166 页ISBN：730203849X
本书共4章，分别介绍了计算机、专家系统的基本知识；玉米、小麦、水稻专家系统，以及建造专家系统所提供的软件环境。
石纯一，张伟著2007 年出版568 页ISBN：7302128006
本书从以下五方面来阐述：中国传统政治文化与现代价值；中国传统和谐文化与和谐社会；中华传统美德与道德教育；中国传统文化与亚洲文化；中国传统廉政文化与民本思想。...
（美）Richard Johnsonbaugh著；石纯一，金涬，张新良等译2005 年出版685 页ISBN：7121012588
本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识，并在其前一版的基础上进行了修改与扩展。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、布尔代数、网络模型、...
（美）Richard Johnsonbaugh著；石纯一，金涬等译2003 年出版638 页ISBN：7115103542
本书从算法和问题解决的角度介绍离散数学。全书共分为11章，内容包括逻辑与证明，集合、关系与函数，算法，排列组合，鸽巢原理，古典概率，递归关系，图的基本概念，树及其应用，网络模型，布尔代数与组合电路，自动......
石纯一，王家廞编著2000 年出版224 页ISBN：7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...
