很经典的一部离散数学著作 ，本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。本书根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。本书编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融会贯通，达到学练兼顾的目的。本书加入了机上实现内容，满足了普通高校理工类本科生的实际需求。 本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。 本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程技术人员的参考书。

南京理工大学离散数学考纲及近几年考试情况，提供本校学生复习参考。如果觉得好的话，可以给个好评鼓励一下哈

东北大学，划重点，也许别的学校也有用那套书的，离散数学课后习题，只适合东北大学的小伙伴，纯手写，希望能帮助大家，谢谢支持呀

离散数学的应用举例 关系型数据库的设计(关系代数) 表达式解析(树) 优化编译器的构造(闭包) 编译技术、程序设计语言(代数结构) Lisp和Prolog、人工智能、自动推理、机器证明(数理逻辑) 网络路由算法(图论) 游戏中的人工智能算法(图论、树、博弈论) 专家系统(集合论、数理逻辑—知识和推理规则的计算机表达) 软件工程—团队开发—时间和分工的优化(图论—网络、划分) (各种)算法的构造、正确性的证明和效率的评估(离散数学的各分支) 其实这样的“结合点”实在太多，因为结构数学的一大本质特征就是抽象现实世界中的事物，建立模型进而研究其规律。国内有些离散数学的教材只是“就事论事”地讲数学知识，如果读者能够带着应用中的问题有针对性、目的性地去阅读这些教材也许效果会更好一些。

用Python实现的主范式计算器，用Tkinter写的一个简单的GUI，用堆栈法和一些结合的方法处理各种逻辑计算符。这个代码是离散数学课程的一个作业，网上太多代码都是错的，后来把那些代码改来改去还是bug奇多。最后还是自己写了一个。支持括号、析取合取、蕴含等价。

屈婉玲 耿素云 张立昂主编， 高等教育出版社出版，PDF格式

1.该文件是习题册那本纸质书的扫描版，保证正确性。 2.内容有简要知识点和分类题型以及课后答案等。 3.想要答案精简版pdf的五星好评留邮箱。

求给定的任意图的最小生成树。分别用Prim和Kruskar算法实现，并比较结果。

逆换式：给定命题P→Q， 则把Q → P 称为命题P→Q的逆换式。 反换式：给定命题 P→Q， 则称﹃ P→ ﹃ Q为命题P→Q的反换式， 逆反式：给定命题P→Q ， 则称﹃ Q→ ﹃ P为命题P→Q的逆反式。 逆反式与原命题的真值表完全一样，也就是它们本质上相同。 因为： P→Q为假当且仅当P为真并且Q为假；也就是当且仅当Q为假并且P为真；也就是当且仅当﹃ Q为真并且﹃ P为假；也就是当且仅当﹃ Q→ ﹃ P为假。

离散数学的重要分支，南京大学教授授课课件，图很多，很详细。