离散数学总结-课件.pptVIP

离散数学 离散数学(Discrete Mathematics) 离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 离散数学的应用举例 关系型数据库的设计(关系代数) 表达式解析(树) 优化编译器的构造(闭包) 编译技术、程序设计语言(代数结构) Lisp和Prolog、人工智能、自动推理、机器证明(数理逻辑) 网络路由算法(图论) 游戏中的人工智能算法(图论、树、博弈论) 专家系统(集合论、数理逻辑—知识和推理规则的计算机表达) 软件工程—团队开发—时间和分工的优化(图论—网络、划分) (各种)算法的构造、正确性的证明和效率的评估(离散数学的各分支) 离散数学的学习要领 概念（正确）必须掌握好离散数学中大量的概念 判断（准确）根据概念对事物的属性进行判断 推理（可靠）根据多个判断推出一个新的判断 数理逻辑－命题逻辑 命题、真值、简单命题与复合命题、命题符号化。 联结词：┐，∧，∨，→，?。 命题公式、求公式的赋值。 真值表、公式的成真赋值和成假赋值。 公式的类型：重言式、矛盾式、可满足式。 等值式与等值演算。 基本的等值式，其中含：双重否定律、幂等律、交换律、结合律、分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。 与范