本书系统地介绍了离散数学的各大组成部分，全书分为5个部分。第一部分是数理逻辑，主要包含命题逻辑和谓词逻辑的内容； 第二部分是集合论初步，主要介绍集合论、二元关系和函数； 第三部分是代数系统，包含代数系统的有关内容和几个典型的代数系统； 第四部分介绍图论； 第五部分介绍离散数学在计算机学科的具体应用。本书的各章之后配有适当难度的习题，便于学生在学完本章内容之后进行课后练习。 本书可以作为高等学校计算机专业和非计算机专业相关课程的教材，也可作为考研人员和计算机工作者的参考书。

张青： 博士、讲师.主要学习经历：1. 1987.9——1991.7 电子科技大学 电子机械系 电子精密机械本科，获工学学士学位；2. 2000.9——2003.7 江汉石油学院 计算机科学学院 地球探测和信息技术专业，获工学硕士学位；3. 2004.9——2007.7 北京邮电大学 理学院 密码学专业，获军事学博士学位。导师 温巧燕教授。工作经历：1. 1999年1月——2007年6月 长江大学计算机科学学院 ，从事计算机相关课程的教学、科研工作；2. 2007年7月——至今 天津财经大学 商学院 管理信息系统系 任教。研究工作简历：2004.01-2006.12. 国家自然科学基金(编号为60373059)；非线性密码函数研究 (参加).2006.01-2008.12国家自然科学基金重大研究计划资助项目(编号为90604023); 密码性能布尔函数及应用研究 (参加).2007.01-2007.12. 国家重点实验室开放基金项目, 《量子编码与量子密码研究》, 主要完成人。.2006.4 - 2007.09 国家重实验室开放基金项目, 《量子密码模拟技术研究》, 主要完成人。近期主要论文：1、Zhang Qing, Wen Qiaoyan, Chen Gengli. “An efficient fair contract signing protocol”. In:Proc.of the ISECS 2008, 2008,8. pp 333-337. (EI,ISTP检索)2、张青,温巧燕. “一种新的公平交换协议”.北京邮电大学学报,2006,10.29(5). 63-65.(EI检索) 3、 张青,张龙,温巧燕,陈更力. “基于签密的认证邮件协议”. 电子科技大学报2008,2. 37(2).282-284.(EI检索) 4、Zhang Qing, Wen Qiaoyan, Chen Gengli. “Efficient ID-based proxy blind signature scheme”. Wuhan University Journal of Natural Sciences Vol.12. No. 1, January 2007.pp 105-108. 5、张青,刁俊峰,温巧燕,陈更力.“基于离散对数代数盲签名体制的安全性分析”.通信学报2007,8.28(8A).1-4. 6、张青,刁俊峰,温巧燕,陈更力.“对Zhou-Gollmann不可否认协议的一种新改进”. 计算机应用研究,2008(6).1181-112.7、张青,张龙,温巧燕,陈更力. “一种新的认证邮件协议”.计算机工程,2007,10.33(19). 130-131.8、张青,温巧燕,陈更力. “基于身份的数字签名研究进展”. 计算机应用研究, 2007,8. Vol.24, 1292-1293.

离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，是计算机科学与技术各专业的核心和骨干课程。它以研究离散量的结构和相互间的关系为主要目标，充分体现了计算机科学离散性的特点。 离散数学是随着计算机科学的发展而逐步建立的，它形成于20世纪70年代初期，是一门新兴的工具性学科。近年来，计算机及网络技术正在以惊人的速度发展，对人类社会的各个领域产生着日益广泛和深入的影响。计算机科学之所以能取得辉煌的成就，与其具有雄厚的理论基础——离散数学——是分不开的。通过学习该课程，一方面能为后续课程，如数据结构、操作系统、编译理论、数据库系统、人工智能、计算机网络等提供必要的数学基础； 另一方面，可以培养和提高学生的抽象思维与逻辑推理能力，对提高独立分析和解决问题的能力、实际问题的数学建模能力非常重要。 随着互联网的快速发展，近年来各学科融合发展的趋势不断加强，除了计算机专业的学生，其他专业，如财经类的专业，也有和计算机学科相互融合的趋势。“离散数学”也成为了这些专业的一门专业基础课，但现有的一些教材大多针对计算机或者工科专业的学生，有关离散数学的内容量大面广，不太适合其他专业的学生。本教材针对财经类等与计算机相关专业学生的特点，考虑到课时的限制，借鉴了国内外众多教材的特点，并结合作者多年的教学实践经验和科研成果编写而成。本书在介绍离散数学基础知识的前提下，简明扼要、通俗易懂地讲述数理逻辑、集合论、代数系统以及图论的主要内容，并特别强调了离散数学各主要部分的内容在计算机其他学科中的实际应用。 本书的特点如下：  内容深入浅出，结构安排合理，知识脉络清晰。  重点突出解...