离散数学
关注
分享
扫一扫
永久旅途
这个作者很懒，什么都没留下…
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
平面图..
平面图..原创 2025-01-23 08:43:50 · 161 阅读 · 0 评论 -
最短通路问题
③ 选出长度最小的顶点作为最短路径上的顶点，并将该点作为当前结点。② 将出发点作为当前结点，写出与该结点到其他最近的结点的长度。④ 重复二三步骤，直到终点为止。① 写出除出发点以外的顶点。原创 2025-01-22 18:40:54 · 213 阅读 · 0 评论 -
汉密尔顿图
汉密尔顿图原创 2025-01-22 14:24:14 · 221 阅读 · 0 评论 -
欧拉图..
欧拉图：首尾相同，所有的边只经过一次半欧拉图：首尾不同，所有的边只经过一次。原创 2025-01-22 12:06:33 · 424 阅读 · 0 评论 -
图的矩阵表示
长度为k的通路条数：A的k次方矩阵的所有元素和长度为k的回路条数：A的k次方矩阵的对角线元素和。原创 2025-01-22 10:21:03 · 442 阅读 · 0 评论 -
图的连通性
简单通路：经过的边不同。初级通路：经过的顶点不同。简单回路：在起点和终点相同的情况下，经过的边不同。初级回路：在起点和终点相同的情况下，经过的顶点不同。原创 2025-01-22 08:50:57 · 227 阅读 · 0 评论 -
图的基本概念
原创 2025-01-21 22:23:07 · 222 阅读 · 0 评论 -
偏序关系.
偏序关系= 自反+反对称+传递性。原创 2025-01-21 21:08:06 · 307 阅读 · 0 评论 -
相容关系与相容类
相容关系与相容类原创 2025-01-21 19:52:14 · 211 阅读 · 0 评论 -
相容关系与相容类
等价=自反+对称+传递。原创 2025-01-21 15:03:30 · 203 阅读 · 0 评论 -
集合的划分和覆盖
集合的划分和覆盖原创 2025-01-21 12:21:36 · 216 阅读 · 0 评论 -
关系的闭包运算
关系的闭包运算原创 2025-01-21 12:09:54 · 118 阅读 · 0 评论 -
关系的求逆运算
关系的求逆运算原创 2025-01-21 10:34:06 · 181 阅读 · 0 评论 -
关系的复合运算
关系的复合运算原创 2025-01-21 10:04:03 · 400 阅读 · 0 评论 -
二元关系的性质
二元关系的性质原创 2025-01-21 09:19:07 · 238 阅读 · 0 评论 -
二元关系及其表示法
dom是所有序偶元素的第一个数的集合ran是所有序偶元素的第二个数的几何。原创 2025-01-17 11:53:42 · 211 阅读 · 0 评论 -
序偶与集合的笛卡尔积
1. 序偶与有序n元组2. 集合的笛卡尔积3. 集合笛卡尔积运算的应用原创 2025-01-17 10:36:09 · 204 阅读 · 0 评论 -
有穷集的计数（容斥定理）
1. 文氏图法例12. 包含排斥定理（容斥定理）例2原创 2025-01-17 09:46:46 · 144 阅读 · 0 评论 -
集合的运算
1. 交运算2. 并运算3. 差运算原创 2025-01-16 17:09:09 · 208 阅读 · 0 评论 -
特殊集合.
1. 全集E2. 空集φ原创 2025-01-16 16:10:41 · 225 阅读 · 0 评论 -
集合间的关系
1. 包含关系（子集关系）2. 相等关系3. 真包含关系（真子集关系）原创 2025-01-16 16:06:09 · 177 阅读 · 0 评论 -
集合的基本概念
1. 集合与元素2. 集合的表示方法3. 说明4. 举例原创 2025-01-16 15:37:57 · 225 阅读 · 0 评论 -
谓词演算的推理理论（二）
。原创 2025-01-16 15:17:22 · 147 阅读 · 0 评论 -
谓词演算的推理理论（一）
1. 全称特指规则US2. 存在特指规则ES3. 存在推广规则EG4. 全称推广规则UG例1例2例3例4原创 2025-01-16 11:45:18 · 164 阅读 · 0 评论 -
前束范式.
。原创 2025-01-16 10:08:36 · 220 阅读 · 0 评论 -
谓词演算的等价式与蕴含式（二）
1. 量词否定等价公式2. 量词辖域的扩充与收缩3. 量词分配公式例1例2例3例4例5原创 2025-01-16 09:27:14 · 170 阅读 · 0 评论 -
谓词验算的等价式与蕴含式（一）
1. 对谓词公式赋值例12. 谓词公式的永真式3. 谓词公式的等价公式4. 谓词公式的永真蕴含式5. 由命题演算推广出的公式6. 有限个体域消去量词的等价公式例1例2原创 2025-01-15 21:58:57 · 243 阅读 · 0 评论 -
谓词逻辑中量词的符号化
例1例2例3例4例5例6例7原创 2025-01-15 21:01:05 · 224 阅读 · 0 评论 -
谓词公式与量词的辖域
1. 原子谓词公式2. 谓词合式公式3. 量词的作用域（辖域）4. 自由变元与约束变元例1例2例3例4原创 2025-01-15 18:12:39 · 171 阅读 · 0 评论 -
谓词逻辑的基本概念
特性谓词：量词后面的词。原创 2025-01-15 17:51:11 · 179 阅读 · 0 评论 -
命题推理逻辑二：间接推理
1. 条件论证2. CP规则例1例23. 不相容的定义4. 反证法例1例2原创 2025-01-15 15:44:04 · 227 阅读 · 0 评论 -
命题逻辑推理一：直接推理
1. 基础重言蕴含式2. 基础等价公式3. 直接推理例1例2例3原创 2025-01-15 11:03:41 · 731 阅读 · 0 评论 -
主合取范式
1. 永真公式的主析取范式是所有小项的析取范式，不含有主合取范式。2. 永假公式的主合取范式是所有大项的合取范式，不含有主析取范式。原创 2025-01-15 09:12:12 · 314 阅读 · 0 评论 -
主析取范式
主析取范式原创 2025-01-14 18:35:23 · 253 阅读 · 0 评论 -
析取范式和合取范式
析取范式和合取范式原创 2025-01-14 17:39:16 · 472 阅读 · 0 评论 -
重言式与重言蕴含式
1. 重言式和矛盾式的定义例12. 重言式定理3. 重言蕴含式的定义4. 重言蕴含式的证明方法方法1例1例2方法2例1例25. 基础重言蕴含式6. 重言蕴含式的性质7. 重言蕴含式定理8. 思考原创 2025-01-14 17:29:24 · 495 阅读 · 0 评论 -
命题公式的等价
1. 等价的定义2. 基础等价公式3. 等价公式的证明例1例24. 对偶式5. 等价的性质原创 2025-01-14 16:20:55 · 220 阅读 · 0 评论 -
命题公式及其真值表
1. 合式公式定义2. 化简命题公式3. 构造真值表例1例2原创 2025-01-14 15:59:38 · 144 阅读 · 0 评论 -
命题逻辑中命题的符号化
例1例2例3例4拓展例5原创 2025-01-14 09:58:18 · 198 阅读 · 0 评论 -
逻辑连接词
1. 否定"﹁"2. 合取"∧"3. 析取"∨"4. 异或""5. 条件"→"常见条件“→”的表达，以下都表示P→Q只要P，就Q因为P，所以QP仅当Q只有Q才P除非Q才P除非Q，则非P6. 等价“↔”7. 总结原创 2025-01-14 09:10:16 · 282 阅读 · 0 评论