![](https://img-blog.csdnimg.cn/20201014180756757.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
囧到没边际
一入IT深似海,不撞南墙不改行
展开
-
离散数学 第三篇 数理逻辑01 命题逻辑
命题连接词注意: 合取与析取不要搞混了 善意推定: 1→11→11 \rightarrow 1,然而,如果前件为0 0→1(or)0→00→1(or)0→00 \rightarrow 1 (or)0 \rightarrow 0均为真优先级:在上图中,优先级顺序为命题公式永真公式永假公式可满足公式**即: ¬¬\neg永假↔↔\leftrig...原创 2018-06-10 20:41:22 · 2027 阅读 · 0 评论 -
离散数学 第三篇 数理逻辑02 谓词逻辑
基本概念全称量词存在量词作用变量辖域谓词合式公式约束变元自由变元约束变元的改名规则自由变元的代入规则合式公式的解释合式公式的分类基本等价公式改名规则 量词转换律 辖域扩收律 量词分配律公式的标准型——范式前束范式定理: 任何一个公式都有对应的前束范式,但前束范式不唯一...原创 2018-06-10 20:46:48 · 1052 阅读 · 0 评论 -
离散数学 第四篇 图论01 图的基本概念
1. 无序积用符号(a,b)(a,b)(a,b)来表示,与序偶类似,但是序偶是有顺序的,就是有方向的,而无序积是无向的2. 图的表示2.1 图的集合表示G={<V,E>}G={<V,E>}G=\left\{ \right\}2.2 图的图形表示2.3 邻接矩阵第iii个点到第jjj个点有一条边,则邻接矩阵第iii行jjj元素...原创 2018-06-10 20:52:41 · 3295 阅读 · 1 评论