- 博客(6)
- 收藏
- 关注
原创 离散数学-图
在一个无向图中,如果任意两个节点之间都存在通路,则这个图被称为连通图。图是一种用来表示对象间关系的结构,由节点和边组成。握手定理、图的同构、通路与回路、图的连通性以及图的应用是图论中的重要概念和应用场景。握手定理是指,在一个无向图中,所有节点的度数之和等于边的数目的两倍。本文将介绍图的基本概念、握手定理、图的同构、通路与回路、图的连通性以及图的应用。两个图是同构的,当且仅当它们拥有相同的节点数并且可以通过重新标记它们的节点来使它们相同。在一个图中,如果存在一系列边依次连接的节点,这些节点就组成了一个通路。
2023-06-12 19:00:00
520
1
原创 离散二元关系
例如,若 $R=\{(1,2),(2,3),(3,5)\}$,$S=\{(2,3),(3,1),(1,6)\}$,则 $R \circ S= \{(1,3),(2,1),(3,6)\}$。例如,若 $R=\{(1,2),(2,3)\}$,$S=\{(1,3),(2,3),(4,5)\}$,则 $R \cup S= \{(1,2),(1,3),(2,3),(4,5)\}$。例如,$\{(1,1),(2,2),(3,3)\}$,$\{(1,1),(1,2),(2,1),(2,2)\}$ 都是等价关系。
2023-06-12 18:00:00
111
原创 离散特殊关系
那么对于任意三个元素 $a$、$b$ 和 $c$,如果 $a$ 和 $b$ 在某个方面上是相同的,且 $b$ 和 $c$ 在同样的方面上也是相同的,那么我们可以认为 $a$ 和 $c$ 在这个方面上也是相同的。具体来说,如果一个元素 $a$ 比另一个元素 $b$ 更小,则我们可以将 $a$ 和 $b$ 放在一个有序序列中,并指定 $a$ 在 $b$ 的前面。在统计学中,等价关系可以用于比较和分类对象。2. 反对称性:如果 $a$ 小于等于 $b$,且 $b$ 小于等于 $a$,那么 $a$ 等于 $b$。
2023-06-12 13:47:09
154
原创 离散之谓词逻辑
谓词逻辑中的解释也被称为模型,它是一个有序对 (D,I),其中 D 是一个非空集合,也称为域,而 I 是一个解释函数,它将所有常量和谓词符号映射到 D 上的对象和关系。例如,如果我们有一个谓词公式 P(x,y) 和一个模型 (N, <),其中 N 是自然数集合,< 是严格小于关系,则 P(3,5) 在该模型下为真。例如,如果我们将 P(3,5) 解释为 "3 小于 5",则 P(x,y) 可以从其解释中推断出更多关于 x 和 y 的信息。其中,最常见的推理规则是量化规则,包括全称规则和存在规则。
2023-06-12 13:40:17
288
原创 公式的标准型--范式
综上所述,离散数学中的范式是逻辑表达式的标准化形式,可以帮助我们简化逻辑表达式、方便计算机进行逻辑运算和优化等操作。析取范式指的是多个逻辑项之间使用“或”连接的逻辑表达式,例如:(p∧q)∨(r∧s)。合取范式指的是多个逻辑项之间使用“与”连接的逻辑表达式,例如:(p∨q)∧(r∨s)。从上面的真值表中,我们可以看到只有在 p=0,q=1 和 r=0 的情况下,逻辑表达式才会为真。从上面的真值表中,我们可以看到只有在 p=0,q=1 和 r=0 的情况下,逻辑表达式才会为假。
2023-06-12 12:33:15
2169
原创 离散数学之命题逻辑
分配律指的是对于任意命题p、q和r,有p ∧ (q ∨ r)等价于(p ∧ q) ∨ (p ∧ r),p ∨ (q ∧ r)等价于(p ∨ q) ∧ (p ∨ r);结合律指的是对于任意命题p、q和r,有(p ∧ q) ∧ r等价于p ∧ (q ∧ r),(p ∨ q) ∨ r等价于p ∨ (q ∨ r);交换律指的是对于任意命题p和q,有p ∧ q等价于q ∧ p,p ∨ q等价于q ∨ p。常见的联结词有“非”、“与”、“或”、“蕴含”和“等价”,分别用符号“¬”、“∧”、“∨”、“→”和“↔”表示。
2023-06-12 12:28:12
176
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人