离散数学
《离散数学》题库及标准答案
《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者：————————————————————————————————日期：《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z（考察定义在公式?x A和?x A中，称x为指导变元，A为量词的辖域。
在?x A和?x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y，x)和?z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
离散数学PPT课件
20
例2.1判断下面两个公式是否等值： (pq), pq 例2.2判断下面各组公式是否等值： （1）p(qr) 与 (pq)r （2） ( pq)r与 (pq)r
21
置换规则 ： 设（A）是含公式A的命题公式， （B） 是用公式B置换了（A）中所有的A以后得到的命题公式， 若BA，则（B） （A）。
定义1.2 设p，q为两命题，复合命题“p并且q”称为p与 q的合取式，记作“pq”。 pq为真当且仅当 p， q同 时为真。
定义1.3 设p，q为两命题，复合命题“p或q”称为p与q的 析取式，记作“pq”。 p q为假当且仅当 p， q同时为 假。
7
例1.3将下列命题符号化 （1）吴影既用功又聪明。 （2）吴影不仅用功而且聪明。 （3）吴影虽然聪明，但不用功。 （4）张辉与王丽都是三好学生。 （5）张辉与王丽是同学
16
例1.8求下列公式的真值表，并求成真赋值。 (1) (pq)r (2) (pp)(qq) (3) (p q) q r
定义1.10设A为一命题公式 （1）若A在它的各种赋值下取值均为真，则称A是重 言式或永真式。 （2）若A在它的各种赋值下取值均为假，则称A是矛 盾式或永假式。 （3）若A不是矛盾式，则称A是可满足式。
离散数学
1
离散数学课件
离散数学是计算机科学的核心理论课程， 是计算机专业的专业基础课。
第一部分 数理逻辑 第二部分 集合与关系代数 第三部分 图论
2
第一部分数理逻辑
第一章 命题逻辑基本概念 第二章 命题逻辑等值演算 第三章 命题逻辑推理理论 第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理
离散数学基础
离散数学基础离散数学是数学的一个分支，主要研究非连续、离散的概念和结构。
它在计算机科学、信息科学以及其他相关领域中具有重要的应用。
本文将介绍离散数学的基础概念和常见的应用。
一、集合论集合论是离散数学的基础，它研究的是元素的集合。
在集合论中，我们常用符号来表示集合和集合之间的关系。
例如，如果A是一个集合，我们可以使用A∈B表示元素A属于集合B。
集合论还引入了交集、并集、差集等运算，用于描述集合之间的关系和操作。
二、逻辑和命题逻辑是离散数学的另一个重要组成部分。
它研究的是推理和推断的规则。
逻辑中最基本的概念是命题，它可以是真或假的陈述。
逻辑运算符包括非（¬）、与（∧）、或（∨）和蕴含（→）。
利用这些运算符，我们可以构建复合命题，并进行逻辑推理。
三、图论图论是离散数学中的一个重要分支，研究的是图的性质和图的应用。
图由节点和边组成，节点表示对象，边表示对象之间的关系。
图可以用来描述网络、社交关系、路线规划等问题。
图论中的常见概念包括图的连通性、最短路径、最小生成树等。
四、代数系统离散数学还研究各种代数系统，如群、环、域等。
代数系统是一种结构，它由一组元素和定义在这些元素上的运算构成。
代数系统在密码学、编码理论等领域中有广泛的应用。
例如，RSA加密算法就是基于模运算的群的性质。
五、概率论概率论是离散数学中的一个重要分支，研究的是随机事件的发生概率和随机现象的规律。
概率论可以用来描述随机算法的性能、信息的压缩率等。
在计算机科学中，概率论在机器学习、数据挖掘等领域中有着广泛的应用。
六、离散数学的应用离散数学在计算机科学和信息科学中有着广泛的应用。
例如，离散数学的概念和方法在编程语言设计、数据结构与算法、数据库系统等方面都扮演着重要的角色。
离散数学还在密码学、图像处理、计算机网络等领域中有着重要的应用。
结论离散数学作为数学的一个分支，研究的是非连续、离散的概念和结构。
它的基础概念包括集合论、逻辑和命题、图论、代数系统以及概率论。
离散数学基本公式
一、基本等值式⑴双重否定律⌝⌝A⇔A⑵幂等律 A∧A⇔A A∨A⇔A⑶交换律 A∧B⇔B∧A A∨B⇔B∨A⑷结合律 A∨(B∨C)⇔(A∨B)∨C A∧(B∧C)⇔(A∧B)∧C⑸分配律 A∨(B∧C)⇔(A∨B)∧(A∨C) A∧(B∨C)⇔(A∧B)∨(A∧C)(6)德摩根律⌝(A∨B)⌝⇔A∧⌝B ⌝(A∧B)⌝⇔A∨⌝B(7) 吸收律 A∨(A∧B)⇔A A∧(A∨B)⇔A(8) 零律 A∨1⇔1 A∧0⇔0(9) 同一律 A∧1⇔A A∨0⇔A(10)排中律 A∨⌝A⇔1(11)矛盾律 A∧⌝A⇔0(12)蕴含等值式 A→B⇔⌝A∨B(13)等价等值式 A↔B ⇔(A→B)∧(B→A)A↔B ⇔(⌝A∨B)∧(A∨⌝B)A↔B ⇔(A∧B)∨(⌝A∧⌝B )(14)假言易位 A→B⇔⌝B→⌝A(15)等价否定等值式 A↔B ⇔⌝A ↔⌝B(16)归谬论 (A →B) ∧(A→⌝B) ⇔⌝A二、推理定律——重言蕴涵式1.A⇒ (A∨B) 附加律2.(A∧B) ⇒A化简律3.(A→B)∧A⇒B假言推理4.(A→B) ∧⌝B⇒⌝A拒取式5.(A∨B) ∧⌝B⇒A析取三段论6.(A→B)∧(B→C) ⇒ (A→C) 假言三段论7.(A↔B)∧(B↔C) ⇒ (A↔C) 等价三段论8.(A→B)∧(C→D)∧(A∨C) ⇒ (B∨D) 构造性二难(A→B)∧(⌝A→B) ⇒B 构造性二难(特殊形式)9.(A→B)∧(C→D)∧( ⌝B∨⌝D) ⇒ (⌝A∨⌝C) 破坏性二难三、量词辖域收缩与扩张∀x(A(x)∨B) ⇔∀xA(x)∨B∀x(A(x)∧B) ⇔∀xA(x)∧B∀x(A(x)→B) ⇔∃xA(x)→B∀x(B→A(x)) ⇔B→∀xA(x)∃x(A(x)∨B) ⇔∃xA(x)∨B∃x(A(x)∧B) ⇔∃xA(x)∧B∃x(A(x)→B) ⇔∀xA(x)→B∃x(B→A(x)) ⇔B→∃xA(x)四、量词分配∀x(A(x)∧B(x)) ⇔∀xA(x)∧∀xB(x)∃x(A(x)∨B(x)) ⇔∃xA(x)∨∃xB(x)∀x(A(x)∨B(x)) ⇐∀xA(x)∨∀xB(x)∀x(A(x)∨B(x)) ⇒∀xA(x)∨∀xB(x)个体域为全体自然数; A(x): x是偶数, B(x): x是奇数; 左⇔1, 右⇔0∃x(A(x)∧B(x)) ⇒∃xA(x)∧∃xB(x)∃x(A(x)∧B(x)) ⇐∃xA(x)∧∃xB(x)个体域为全体自然数; A(x): x是偶数B(x): x是奇数; 左⇔0, 右⇔1。
离散数学 6.2 环与域
特殊的环
是环， 定义 设<R,+,>是环， 是环 (1) 若环中乘法 适合交换律，则称 R是交换环 若环中乘法适合交换律 适合交换律， 是交换环. (2) 若环中乘法存在幺元，则称 R是含幺环. 若环中乘法 存在幺元， 是含幺环 存在幺元 (3) 若a, b∈R，a b=0 a=0∨b=0，则称 是无 ∈ ， ∨ ，则称R是 零因子环. 零因子环 (4) 若 R 既是交换环、含幺环，也是无零因子环， 既是交换环、含幺环，也是无零因子环， 整环. 则称 R 是整环 (5) 若 R为整环，|R|>1, 且a∈R*=R-{0}，a-1∈R, 为整环， 为整环 ∈ ， 则称 R 为域.
19
(V)
格作为代数系统的定义
定理 设<S,, >是具有两个二元运算的代数系统 是具有两个二元运算的代数系统, 是具有两个二元运算的代数系统 若对于 运算适合交换律、结合律、吸收律, 若对于和ο运算适合交换律、结合律、吸收律 则 可以适当定义S中的偏序 使得 中的偏序 使得<S, >构成格 且 构成格, 可以适当定义 中的偏序,使得 构成格 a,b∈S有 a∧b = ab, a∨b = a b. ∈ 有 ∧ ∨ 根据定理,可以给出格的另一个等价定义 根据定理 可以给出格的另一个等价定义. 可以给出格的另一个等价定义 是代数系统, 是二元运算, 定义 设<S,,>是代数系统 和 是二元运算 如果 是代数系统 运算满足交换律 结合律和吸收律, 满足交换律、 和 运算满足交换律、结合律和吸收律 则<S,,> 构成格. 构成格
6
特殊环的实例
(1)整数环 、有理数环 、实数环 、复数环 都是 整数环Z、有理数环Q、实数环R、复数环C都是 整数环 交换环、含幺环、无零因子环和整环. 其中除Z之 交换环、含幺环、无零因子环和整环 其中除 之 外都是域 (2)令2Z={ 2z | z∈Z }，则<2Z,+,>构成交换环和无零 令 ∈ ， 构成交换环和无零 因子环. 但不是含幺环和整环. 因子环 但不是含幺环和整环 (3)设n∈Z, n≥2, 则 n 阶实矩阵的集合 Mn(R)关于矩阵 设 ∈ ≥ 关于矩阵 加法和乘法构成环，它是含幺环， 加法和乘法构成环，它是含幺环，但不是交换环 和无零因子环，也不是整环. 和无零因子环，也不是整环 (4)<Z6,⊕,>构成环，它是交换环、含幺环，但不是 构成环， ⊕ 构成环 它是交换环、含幺环， 无零因子环和整环. 无零因子环和整环 注意： 是素数. 注意：对于一般的 n, Zn是整环且是域 n是素数 是素数
离散数学
5.2.3 逆元
例如,设代数系统<R,＋,×>,其中R是实数集, ＋与×是实数加与乘运算。 关于＋ 0幺元,结合,任意a∈A, a的逆元a-1＝－a 。 关于× 1幺元,结合,任意a∈A(a≠0),
a的逆元
a-1＝
1 a
5.2.4 独异点
定义5.2.1 设<A,＊>是半群，若A中有关于＊ 运算的幺元，则称<A,＊>为独异点(monoid)。
若b∈A，使a＊b＝e 若b∈A，使b＊a＝e＝a＊b
ห้องสมุดไป่ตู้
5.2.3 逆元
例如，设代数系统<A,＊>的运算表 ＊ 1 1 1 2 2 3 3 4 4 2 2 4 4 3 3 3 3 4 3 4 4 1 2 1 1为幺元 1逆元为1 2右逆元4,无左逆元
3既无左逆元又无右逆元
4左逆元2与4,右逆元4
5.2.3 逆元
5.2.4 独异点
例如，<Z6,×6>的运算表 ×6 [0] [1] [2] [3] [4] [5] [0] [1] [2] [3] [4] [5] [0] [0] [0] [0] [0] [0] [0] [1] [2] [3] [4] [5] [0] [2] [4] [0] [2] [4] [0] [3] [0] [3] [0] [3] [0] [4] [2] [0] [4] [2] [0] [5] [4] [3] [2] [1]
例如，设代数系统<A, △>的运算表 △ 1 2 3 4 1 4 4 4 1 2 4 4 4 2 3 4 4 4 3 4 1 2 3 4 4为幺元 1的逆元为:1,2,3 2的逆元为:1,2,3 3的逆元为:1,2,3
离散数学的应用
离散数学的应用离散数学在其他学科及现实生活中的应用一、离散数学概论离散数学是现代数学的一个重要分支，也是计算机专业课程体系中地位极为重要的专业基础课之一。
它以研究离散量的结构及相互关系为主要目标，充分描述了计算机科学离散性的特点。
该课程是数据结构、操作系统、计算机网络、算法设计与分析、软件工程、人工智能、形式语言、编译原理等计算机本科阶段核心课程的基础，也是组合数学、遗传算法、数据挖掘等计算机硕士研究生阶段相关课程的重要基础。
离散数学的主要内容包括集合论、数理逻辑、代数结构和图论四部分。
数理逻辑与代数结构的研究思想和研究方法在计算机科学中的许多研究领域得到了广泛的应用，解决了大量的计算机科学问题。
数理逻辑是研究推理的学科，在人工智能、程序理论和数据库理论等的研究中有重要的应用。
代数结构是关于运算或计算规则的学问，在计算机科学中，代数方法被广泛应用于许多分支学科，如可计算性与计算复杂性、形式语言与自动机、密码学、网络与通信理论、程序理论和形式语义学等。
集合论和图论在计算机科学中也有广泛的应用，他们为数据结构和算法分析奠定了数学基础，也为许多问题从算法角度如何加以解决提供了进行抽象和描述的一些重要方法。
离散数学不仅是计算机技术迅猛发展的支撑学科，更是提高学生逻辑思维能力、创造性思维能力以及形式化表述能力的动力源，为他们今后处理离散信息，从事计算机应用、信息管理和计算机科研打下扎实的数学基础。
中国科学院也已成立了离散数学研究中心，并得到国家的重点资助。
二、应用 2.1 离散数学在计算机学科中的应用计算机学科主要脱胎发源于数学学科，离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。
由于计算机科学的迅速发展，与其有关的领域中，提出了许多有关离散量的理论问题，需要用某些数学的工具做出描述和深化。
离散数学把计算机科学中所涉及到的研究离散量的数学综合在一起，进行较系统的、全面的论述，为研究计算机科学的相关问题提供了有力的工具。
离散数学知识汇总
离散数学笔记第一章命题逻辑合取析取定义 1. 1。
3否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真定义1。
1。
4条件联结词，表示“如果……那么……"形式的语句定义 1. 1。
5双条件联结词，表示“当且仅当"形式的语句定义 1.2。
1合式公式（1）单个命题变元、命题常元为合式公式,称为原子公式。
（2)若某个字符串A 是合式公式，则⌝A、(A)也是合式公式。
(3)若A、B 是合式公式，则A ∧B、A∨B、A→B、A↔B 是合式公式.(4)有限次使用(2）～(3)形成的字符串均为合式公式。
1.3等值式1.4析取范式与合取范式将一个普通公式转换为范式的基本步骤1。
6推理定义 1.6。
1 设 A 与 C 是两个命题公式， 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论，或称 A 可以逻辑推出 C ，记为 A =〉 C 。
（用等值演算或真值表)第二章 谓词逻辑2。
1、基本概念∀：全称量词 ∃：存在量词一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时， 带 “全称量词"的谓词公式形如”∀x （H(x)→B(x))，即量词的后面为条件式,带“存在量词”的谓词公式形如∃x(H （x)∨WL(x)），即量词的后面为合取式 例题R(x)表示对象 x 是兔子，T （x)表示对象 x 是乌龟, H(x ，y)表示 x 比 y 跑得快,L(x ，y ）表示x 与 y 一样快，则兔子比乌龟跑得快表示为: ∀x ∀y(R （x ）∧T(y)→H(x,y))有的兔子比所有的乌龟跑得快表示为：∃x ∀y （R(x ）∧T(y ）→H （x ，y)）2.2、谓词公式及其解释定义 2.2.1、 非逻辑符号： 个体常元(如 a ，b ，c ）、 函数常元(如表示22y x 的 f （x,y)）、 谓词常元（如表示人类的 H （x ）)。
定义 2。
2。
2、逻辑符号:个体变元、量词(∀∃）、联结词（﹁∨∧→↔）、逗号、括号。
离散数学主要知识点
离散数学主要知识点离散数学是一门研究集合、逻辑、代数等离散结构的数学学科。
它是计算机科学、信息科学、通信工程、数学等多个领域的重要基础学科。
离散数学的主要知识点包括以下内容：一、集合论集合论是离散数学的基础。
离散数学中的所有概念都是基于集合论的。
集合论研究集合及其元素之间的关系，包括集合的定义、子集、等价关系、配对原理、无限集等概念。
二、二元关系与图论二元关系是表示两个元素之间关系的数学形式。
离散数学中的二元关系包括等价关系、偏序关系、全序关系等。
而图论是二元关系的一种特殊形式，它研究图的一些基本问题，如连通性、路径问题、欧拉图、哈密顿图等。
三、命题逻辑命题逻辑是一种用于表达命题之间逻辑关系的语言。
它使用符号表示逻辑概念，有常见的逻辑运算，如否定、合取、析取、蕴含等。
通过对命题逻辑的学习，可以分析已知条件，推出结论，具有很强的实用价值。
四、谓词逻辑谓词逻辑是一种更加复杂的逻辑体系，它能够描述更为丰富的关系和事实。
谓词逻辑包括一阶谓词逻辑和高阶谓词逻辑。
在计算机科学中，谓词逻辑主要用于形式化验证、人工智能、计算机程序正确性的证明等方面。
五、组合数学组合数学是离散数学的重要分支，它研究离散对象之间的组合问题。
组合数学包括排列、组合、二项式系数、Catalan数、指数级生成函数等。
在算法与数据结构、密码学、计算机网络等方面都有广泛的应用。
六、图像与树图像是离散数学中的一种图形结构。
通过图像的学习，可以了解到图的相关概念、算法和应用。
另外，树和二叉树也是离散数学中的一个重要概念。
它们在算法和数据结构中被广泛应用，如Prim算法、Kruskal算法等最小生成树算法。
总体来说，离散数学涵盖的知识点非常广泛，还包括了离散数学中的离散数学逻辑、推理、图论、网络、算法复杂性、公共关键密码、线性代数、概率论等等。
在计算机科学和信息技术的领域发展中，离散数学得到了广泛应用，这些基础的数学知识是实现现代科技的基础。
离散数学问题
离散数学问题1.离散数学学的什么？集合论、代数系统、图论、数理逻辑等。
2.什么是集合？由离散个体构成的整体的称为集合，称这些个体为集合的元素。
集合元素的性质：无序性、相异性、确定性、任意性3.什么是幂集？集合的全体子集构成的集合叫做幂集。
∣P(A)=2n∣|P(A)=2^n|∣P(A)=2n∣4.什么是笛卡尔乘积？5.二元关系的定义如果一个集合满足下列条件之一：集合非空，且它的元素都是有序偶；集合是空集；则称该集合为一个二元关系，简称为关系，记作RRR.6.等价关系和等价类的定义等价关系：设RRR为非空集合AAA上的一个关系，如果RRR是自反的、对称的和传递的，则称RRR为AAA上的等价关系。
等价类：设RRR是集合AAA上的等价关系，与AAA中的一个元素aaa有关系的所有元素的集合叫做aaa的等价类。
7.偏序关系的定义设 R R R 为非空集合 A A A 上的一个关系，如果 R R R 是自反的、反对称的和可传递的，则称 R R R 是集合 A A A 上的偏序关系，简称偏序，记作“ ⩽ \leqslant ⩽”.偏序关系⩽ \leqslant ⩽——自反性、反对称性、传递性逆序关系<<<——反自反、反对称性、传递性逆序关系的自反闭包是偏序关系。
8.空关系空关系是一种特殊关系，指关系集 A × B A×B A×B 中的子集ϕ\phi ϕ。
非空集合中的空关系是反自反的、对称的、反对称的和传递的，但不是自反的；空集合中的空关系则是自反的、反自反的、对称的、反对称的和传递的。
9.怎么判断两个无穷集合的大小？对无限集，通过建立一一对应的方法可以比较它们元素个数的大小（在集合论中称为势），以整数集ZZZ和偶数集AAA为例，如果将ZZZ中的每一个元素都乘以222，则都可以在AAA中找到对应的偶数元素，即ZZZ和AAA中的元素是一一对应的，也就是说这两个集合是等势的。