![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
柏箱
这个作者很懒,什么都没留下…
展开
-
离散数学,模格和分配格 ,分配格的性质 ,布尔代数
目录1.模格和分配格 例6.2.3 例6.2.4 2.分配格的性质 例6.2.6 若L是链则L是分配格 例子:Hasse图中所示的其格中其元素的补 补元的性质 3.布尔代数 例子原创 2024-07-22 09:00:00 · 316 阅读 · 0 评论 -
离散数学,格与子格,格的性质,格的代数系统定义,格的同态与同构,特殊格
目录1.格与子格 相互对偶 2.格的性质 对偶式 格的保序性 3.格的代数系统定义 格对应的偏序关系就是s的子集之间的包含关系 该格对应的偏序关系就是整除关系 子格必然是格 4.格的同态与同构格同态,序同态 同态是保序的例子 5.特殊格 全下(上)界如果存在,则必唯一 例子 定理原创 2024-07-21 10:00:00 · 227 阅读 · 0 评论 -
离散数学,阿贝尔群和循环群,元素的阶,陪集和拉格朗日定理,Klein四元群,同态与同构
每一行每一列都有一个元素,那么这个元素可逆。原创 2024-07-21 09:30:00 · 223 阅读 · 0 评论 -
离散数学,半群性质的证明,群,群的性质,子群
目录1.半群性质的证明半群的性质 定理5-3.2证明 定理5-3.3证明 半群的性质 定理5-3.4证明 例子 2.群 群是每个元素都可逆的独异点 例子 有限群,阶数,无限群,平凡群 3.群的性质 群中不可能有零元 群中任一元素逆元唯一 群中a*x=b方程解唯一 消去律 置换 群中的幂 例子 4.子群平凡子群 子群判定定理一 子群判定定理二 子群判定定理三 例子 习题原创 2024-07-20 10:00:00 · 285 阅读 · 0 评论 -
离散数学,代数系统简介 ,运算的性质,特殊元素,半群和独异点
目录1.代数系统简介 2.代数系统代数系统的引入 封闭性(闭运算) 例子:以下哪些运算是封闭的? 代数系统定义 3.运算的性质二元运算 封闭性 结合性 交换性 分配性 吸收律 幂等律 消去律 4.特殊元素 幺元 零元 逆元5.半群和独异点 半群,独异点 子半群 半群中元素的幂 独异点中的幂 幺元优先级最近,和谁在一起都是别人零元优先级最高,和谁在一起都是自己原创 2024-07-20 09:30:00 · 181 阅读 · 0 评论 -
离散数学,树的定义,树的性质 ,生成树 ,最小生成树 ,根树,哈夫曼树构造,前缀码
总度数为两倍的边数。原创 2024-07-19 10:00:00 · 155 阅读 · 0 评论 -
离散数学,汉密尔顿图判定的实际问题,平面图,平面图的判定,欧拉公式,对偶图,五色定理的证明
下面的那个图,中间下面的那个点去掉后会形成两个连通图。原创 2024-07-19 09:00:00 · 310 阅读 · 0 评论 -
离散数学,路与回路,割集,连通度,有向图连通,图的矩阵表示,欧拉图与哈密顿图
目录1.路与回路 路与回路等定义 连通图与连通分支 连通度定义 2.割集,连通度无向图的点割集 无向图的边割集 点连通度边连通度 例子 求图的点连通度和边连通度 3.有向图连通 强连通图与单向连通图的判定定理 4.图的矩阵表示 邻接矩阵 可达矩阵 关联矩阵 5.欧拉图与哈密顿图 欧拉图推论 哈密顿图 彼得深图 判断下图是否为汉密顿图 充分条件 无向,欧拉图出度入度要都是偶数有向的话,出度入度相等就是欧拉图原创 2024-07-18 11:00:00 · 268 阅读 · 0 评论 -
离散数学,复合函数的性质,逆函数,图的基本概念,握手定理,完全图,子图和补图,图的同构
平行边要平行,并且起点与终点相同。点没变 边更少,是生成子图。简单就是没平行边也没环。原创 2024-07-18 10:00:00 · 304 阅读 · 0 评论 -
离散数学,最大最小极大极小元,链和反链,全序和良序,函数的定义和性质,满射函数和单射函数
目录1.偏序关系的元素最大最小极大极小元 最小(大)元性质 极小(大)元性质 上界和下界 2.例子 3.链和反链 4.全序和良序 5.函数的定义和性质 函数的定义 6.函数的计数 7.特殊函数 满射函数和单射函数 双射函数 判断下列函数是否是满射,单射,双射 常数函数和恒等函数 8.函数的复合原创 2024-07-16 12:37:59 · 179 阅读 · 0 评论 -
离散数学,传递闭包的运算 ,集合的划分和覆盖 ,等价关系 ,等价类,相容关系 ,偏序关系
目录1.传递闭包的运算 2.集合的划分和覆盖 3.等价关系 4.等价类 等价关系的性质 商集 5.相容关系 相容类 写出以下相容关系的最大相容类 完全覆盖 6.偏序关系 覆盖 7.哈斯图例子原创 2024-07-16 12:27:05 · 147 阅读 · 0 评论 -
离散数学,自反和反自反 ,对称和反对称,传递关系 ,复合关系和逆关系 ,关系的闭包
目录1.自反和反自反 自反性 反自反性 判断关系是自反或是反自反 2.对称和反对称对称性 反对称性 判断关系是对称或是反对称 3.传递关系 4.复合关系和逆关系 复合关系 逆关系 关系运算的性质 5.关系的闭包 闭包的性质原创 2024-07-15 22:14:58 · 236 阅读 · 0 评论 -
离散数学——子集空集全集幂集,集合的运算 ,笛卡尔积,关系及其表示 ,关系矩阵与关系图
目录 1.子集空集全集集合的幂集2.集合的运算 文氏图表示集合 3.笛卡尔积 4.关系及其表示 5.关系矩阵与关系图 关系矩阵和关系图的例子原创 2024-04-03 10:00:00 · 340 阅读 · 0 评论 -
离散数学——(7)前束范式,谓词演算的推理理论,谓词逻辑的推理,谓词逻辑推理实例 ,集合论简介 ,集合的概念 ,外延公理
目录1.前束范式 2.谓词演算的推理理论 1.有关量词消去和产生规则 1.量词消去规则 2.量词产生规则 3.谓词逻辑的推理试证明苏格拉底三段论 4.谓词逻辑推理实例 5.集合论简介 6.集合的概念 外延公理原创 2024-04-02 10:30:00 · 511 阅读 · 0 评论 -
离散数学——(6)谓词逻辑的翻译,谓词的合式公式,约束变元及换名,闭式,谓词的等价,谓词的等价式和蕴含式
目录 1.谓词逻辑的翻译2.谓词的合式公式 1.原子谓词公式 3.约束变元及换名 1.换名规则 4.闭式 5.谓词的等价 1.命题公式的推广 2.量词与联结词之间的关系 6.谓词的等价和蕴含式 量词分配率等价式 多重量词等价式 蕴含式原创 2024-03-17 20:13:56 · 539 阅读 · 0 评论 -
离散数学——(5)间接证明法(反证法),cp规则,推理证法总结 ,谓词逻辑简介 ,谓词的概念与表示
目录 1.间接证明法(反证法) 2.cp规则3.推理证法总结 4.谓词逻辑简介 5.谓词的概念与表示原创 2024-03-14 09:00:00 · 2027 阅读 · 0 评论 -
离散数学——(4)主析取范式,大项,主合区范式,范式的求法,真值表法,推理理论,直接证法
目录1.主析取范式2.大项3.主合区范式4.范式的求法 真值表法5.推理理论直接证法原创 2024-03-09 20:23:25 · 402 阅读 · 0 评论 -
离散数学——(3)联结词及对应的真值指派,最小全功能联结词集,对偶式,范式,范式存在定理,小项
目录1.联结词及对应的真值指派2.最小全功能联结词集3.对偶式4.范式1.析取范式5.范式存在定理 6.小项原创 2024-03-08 10:00:00 · 866 阅读 · 0 评论 -
离散数学——(2)真值表,等价关系,等价置换定理,重言式与蕴含式,重言式与蕴含式,其他联结词,或非,其他联结词真值表
目录1.真值表1.真值表的构造编辑2.真值表的性质3.成真和成假指派 2.等价关系1.基本等价关系 3.等价置换定理4.重言式与蕴含式1.可满足式2.蕴含式3.基本的蕴含式5.其他联结词1.异或2.条件否定 3.与非6.或非7.其他联结词真值表原创 2024-03-08 09:00:00 · 1659 阅读 · 0 评论 -
离散数学——(1)数理逻辑,命题的概念,命题联结词,条件联结词,命题公式,命题的翻译
目录1.数理逻辑2.命题的概念1.命题的判断 2.命题的真值 3.原子命题和复合命题 3.命题联结词1.否定联结词2.合取联结词3.析取联结词4.条件联结词1.双条件联结词5.命题公式1.合式公式 6.命题的翻译原创 2024-03-07 17:03:41 · 408 阅读 · 0 评论