21世纪高等学校计算机规划教材工科离散数学牛连强陈欣张胜男编著内容简介离散数学是研究离散结构及其相互关系的数学学科，是计算机科学与技术及其相关专业的理论基础。本书以数理逻辑为基础，介绍命题逻辑、一阶谓词逻辑、集合论、关系、函数、代数结构和图论。不同于一般的离散数学书籍，本书内容主要以满足一般工科院校计算机科学与技术、软件工程、信息与计算科学以及其他信息领域相关专业的离散数学课程教学要求为主，不求大求全，尤其是根据工程教育的要求，注重介绍有应用价值的理论，避免理论上的缠绕，内容简介务求通俗明了。同时，还增加了相当数量的工程应用方面的简介以及相关参考文献，使学习者能够快速了解这些理论的实际工程用途。本书的配套网络课程、电子教案和习题辅导用书将陆续推出，以满足现在立体化教学的要求。本书不仅能很好地满足一般工科院校的离散数学课程教学需要，也特别适合自学。未经许可，不得以任何方式复制或抄袭本书之部分或全部内容。版权所有，侵权必究。图书在版编目(CIP)数据工科离散数学/牛连强，陈欣，张胜男编著.—北京：电子工业出版社，2017.2ISBN978-7-121-30641-9I．①工…II．①牛…②陈…③张…III．①离散数学－高等学校－教材IV．①O158中国版本图书馆CIP数据核字(2016)第305974号策划编辑：王羽佳责任编辑：郝黎明印刷：三河市鑫金马印装有限公司装订：三河市鑫金马印装有限公司出版发行：电子工业出版社北京市海淀区万寿路173信箱邮编：100036开本：787×9801/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》将其界定为计算机科学与技术专业的核心基础课程，美国IEEE&ACM也确定...
