自动定理证明

石纯一编著1989 年出版156 页ISBN：7502902988

定性推理方法

石纯一，廖士中编著2002 年出版197 页ISBN：7302056374

数理逻辑与集合论

石纯一，王家廞编著1990 年出版300 页ISBN：7302005575

农业专家系统入门

石纯一，李明树等编著2000 年出版166 页ISBN：730203849X

本书共4章，分别介绍了计算机、专家系统的基本知识；玉米、小麦、水稻专家系统，以及建造专家系统所提供的软件环境。

人工智能原理

（美）尼尔逊（N.J.Nilsson）著；石纯一译1983 年出版439 页ISBN：15031·471

自动控制原理与系统 下

清华大学，郑大钟，石纯一编1980 年出版258 页ISBN：

基于Agent的计算

石纯一，张伟著2007 年出版568 页ISBN：7302128006

本书从以下五方面来阐述：中国传统政治文化与现代价值；中国传统和谐文化与和谐社会；中华传统美德与道德教育；中国传统文化与亚洲文化；中国传统廉政文化与民本思想。...

数理逻辑与集合论

石纯一，王家廞编著2000 年出版224 页ISBN：7302040427

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

离散数学 sixth edition

（美）Richard Johnsonbaugh著；石纯一，金涬，张新良等译2005 年出版685 页ISBN：7121012588

本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识，并在其前一版的基础上进行了修改与扩展。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、布尔代数、网络模型、...

离散数学 中文版

（美）Richard Johnsonbaugh著；石纯一，金涬等译2003 年出版638 页ISBN：7115103542

本书从算法和问题解决的角度介绍离散数学。全书共分为11章，内容包括逻辑与证明，集合、关系与函数，算法，排列组合，鸽巢原理，古典概率，递归关系，图的基本概念，树及其应用，网络模型，布尔代数与组合电路，自动......