知识库系统导论

作者：  徐洁磐等编著

出版社：科学出版社,2000

简介：本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与CAD、决策支持系统、专家数据库系统和数据库设计中的应用实例，讨论了非经典逻辑与非精确推理等技术对知识库系统发展的影响，指出了当

离散数学及其在计算机中的应用

作者：  徐洁磐等编著

出版社：人民邮电出版社,1997

简介：离散数学和计算机科学关系密切。本书系统地介绍了离散数学的基础理论，阐述了各个分支之间的联系，还说明了它在计算机中的应用。主要内容包括：集合论、关系、映射和无限集、近世代数、图论、命题逻辑、谓词逻辑、命题逻辑和谓词逻辑的公理化理论、离散数学在计算机中的应用。章末附有习题。 本书适合作为计算机专业的学生和自学考试者的教材，也可供从事计算机和数学方面研究的科技工作者和教师学习参考。

办公自动化原理

作者：  徐洁磐等编著

出版社：科学技术文献出版社重庆分社,1987

简介：购买方法：点击“蓝色文字收藏品”或者“可以从“这些卖家”购买” .....................购买说明：此书为绝版图书，售价高于原价作者:徐洁磐等编著  页数:302  出版社:北京市：科学技术文献出版社；重庆分社  出版日期:1987 

计算机系统导论

作者：  徐洁磐　等编著

出版社：中国铁道出版社 2011-8-1

简介：本书是计算机相关专业学生的入门教材，它从整体角度对计算机学科作全面、完整及系统的介绍。全书按计算机学科自身发展体系组织，即按计算机系统、计算机开发、计算机理论及计算机文化等四部分组织教材内容，为学生提供计算机学科平台知识，为学生修读后续课程提供帮助，为选修课程提供指导，为规划专业方向提供思路，为日后工作提供学科基础，为选择职业拓宽门路。本书内容全面、重点突出、面向应用、通俗易懂，适合作为计算机相关专业本科学生的“计算机导论”课程教材，尤其适合作为计算机应用类专业学生的教材。 本书配有相应的实验教材——《计算机系统导论实验教程》，与本书同步出版。