（美）Richard Johnsonbaugh著；石纯一，金涬等译2003 年出版638 页ISBN：7115103542
本书从算法和问题解决的角度介绍离散数学。全书共分为11章，内容包括逻辑与证明，集合、关系与函数，算法，排列组合，鸽巢原理，古典概率，递归关系，图的基本概念，树及其应用，网络模型，布尔代数与组合电路，自动......
张茂柏，封小超主编；车士琦，邓永元，方华先，文道友，王满华，李纯一，邹昌淑，杨能富，易良雨，敖福生编1980 年出版480 页ISBN：
（日）相原凉，（日）山本纯一，段育文主编2013 年出版417 页ISBN：9787511013903
本书囊括各个领域，最实用最全面地收录了生活中最常见的话题，每个话题都包括最常用的必备词汇，万能句型和地道例句。每个主题设有两个对话，对话采用了日汉对照形式，便于理解，易于模仿练习。此外，还增加了与主题......
石纯一，王家廞编著2000 年出版224 页ISBN：7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...
