![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 65
计算机专业必学课程
MOSS_550
这个作者很懒,什么都没留下…
展开
-
计数与组合
计数与组合一、组合计数基本原理1.加法原理和乘法原理加法原理:集合元素可以被划分为集合族F = {S1, S2, S3…}则S的元素个数是这些元素个数之和:|S| = |S1| + |S2| + |S3|+…|Sn|注意:1)分类标准:不重复、不遗漏 2)分类后的计数应比原来的计数更为简单乘法原理:若集合S的每个元素是n个元素构成的序列,每个元素si的取值可能有mi种,则:|S| = m1*m2…m n注意:1)分布思维方式 2)各个子任务有独立性和相关性关于加法原理与乘法原理原创 2021-06-13 00:18:12 · 563 阅读 · 2 评论 -
命题逻辑详解
命题逻辑详解文章目录命题逻辑详解一.命题逻辑的基本概念1.命题与真值2.原子命题与复合命题二.命题逻辑公式的语法1.命题逻辑公式的归纳定义:2.抽象语法树3.子公式:4.语法性质5.命题逻辑公式的简写三.命题逻辑公式的语义1.命题逻辑公式的真值表2.命题逻辑公式的分类四.命题逻辑的等值演算1.逻辑等值定义:2.定理:3.等值演算4.命题逻辑公式的范式五.命题逻辑的推理理论1.推理的有效性2.命题逻辑的自然推理系统3.构造验证推理有效性的论证六.命题逻辑的应用1.自然语言命题的符号化2.普通逻辑问题的符号化原创 2021-03-12 19:26:33 · 2790 阅读 · 0 评论 -
算法语言(基础)
算法语言(基础)0.算法(algorithm)算法是一些明确的(definite)步骤的有限(finite)序列。应该具有通用性(generality),有输入和输出(可移植)。p.s.算法步骤的明确性是一个比较主观的性质。1.三种主要规则算法实际上是给出一些基本步骤或根据一些规则组合而成的一种复合步骤的有限序列。将基本步骤组合成复合步骤的规则主要有以下三种:1)顺序结构(sequential structure):算法的一个或多个步骤按照书写的顺序依次执行;2)选择结构(selective原创 2021-02-26 20:46:27 · 1368 阅读 · 0 评论 -
代数语言(基础)
代数语言(基础)0.引言本文介绍离散数学中代数语言的基础知识,以下三条是我们需要知道的: 代数的核心是运算。 运算是某个集合的运算。 运算要具有封闭性。(比如:减法不是自然数集的运算)1.交换律、结合律这两个大家应该都知道,所以不再复述2.单位元、零元单位元:集合A的一个元素a称为运算★的单位元,如果对A的任意元素 x 都由 x ★ a = x, 且a ★ x = x。 (没有假定该运算满足交换律)(单位元也称幺元)例如:0是实数集加法运算的单位元,1是实数集乘法运算原创 2021-02-26 17:00:04 · 5111 阅读 · 3 评论