工科离散数学

内容简介 离散数学是研究离散结构及其相互关系的数学学科，是计算机科学 与技术及其相关专业的理论基础。本书以数理逻辑为基础，介绍命题逻 辑、一阶谓词逻辑、集合论、关系、函数、代数结构和图论。 不同于一般的离散数学书籍，本书内容主要以满足一般工科院校计 算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专 业的离散数学课程教学要求为主，不求大求全，尤其是根据工程教育的 要求，注重介绍有应用价值的理论，避免理论上的缠绕，内容简介务求 通俗明了。同时，还增加了相当数量的工程应用方面的简介以及相关参 考文献，使学习者能够快速了解这些理论的实际工程用途。 本书的配套网络课程、电子教案和习题辅导用书将陆续推出，以满 足现在立体化教学的要求。本书不仅能很好地满足一般工科院校的离散 数学课程教学需要，也特别适合自学。 未经许可，不得以任何方式复制或抄袭本书之部分或全部内容。 版权所有，侵权必究。 图书在版编目（CIP）数据 工科离散数学/牛连强，陈欣，张胜男编著．—北京：电子工业出版 社，2017.2 ISBN 978-7-121-30641-9 Ⅰ．①工… Ⅱ．①牛…②陈…③张… Ⅲ．①离散数学—高等学校— 教材 Ⅳ．①O158 中国版本图书馆CIP数据核字（2016）第305974号 策划编辑：王羽佳 责任编辑：郝黎明 印 刷：三河市鑫金马印装有限公司 装 订：三河市鑫金马印装有限公司 出版发行：电子工业出版社 北京市海淀区万寿路173信箱 邮编：100036 开 本：787×980 1/16 印张：12.75 字数：367.2千字 版 次：2017年2月第1版 印 次：2017年2月第1次印刷 定 价：35.00元 凡所购买电子工业出版社图书有缺损问题，请向购买书店调换。若书店 售缺，请与本社发行部联系，联系及邮购电话：（010）88254888， 88258888。 质量投诉请发邮件至zlts@phei.com.cn，盗版侵权举报请发邮件至 dbqq@phei.com.cn。 本书咨询联系方式：（010）88254535，wyj@phei.com.cn。 前言 离散数学是研究离散量的结构及其相互关系的一门学科，是由逻辑 学、集合论、关系理论、图论、抽象代数、布尔代数甚至算法设计、组 合分析、离散概率和计算模型等汇集起来的一门综合学科。由于数字电 子计算机是一个离散结构，只能处理离散的或离散化了的数量关系和数 学模型，这正是离散数学的主要内容，因此，离散数学构成了计算机相 关学科的基础学科。为此，《中国计算机科学与技术学科教程2002》将 其界定为计算机科学与技术专业的核心基础课程......