Discrete mathematics

作者：  朱保平，叶有培，张琨编著

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

简介：　　本书介绍离散数学的基本理论及方法。主要由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合论、关系、函数与集合的势、图、树与有序树、群与环、格与布尔代数等12部分组成。. 　　 本书是高等院校计算机科学与技术及相关专业的教材，也可作为教师、研究生或软件工程技术人员的参考书。...