分类:离散数学笔记

离散数学笔记(9)——代数系统

代数结构(代数系统) 陪集与 Lagrange 定理 子群的陪集 设 $<G,\cdot>$ 是群 …

0 like  3 次浏览 

离散数学笔记(8)——群论

代数结构(代数系统) 代数系统的概念 可消去性 设 $\star$ 是 $X$ 上的二元运算,$a \in X …

0 like  3 次浏览 

离散数学笔记(7)——代数系统

代数结构(代数系统) 函数 定义 对于集合 $X$ 与 $Y$,$f$ 是从 $X$ 到 $Y$ 的关系,如果 …

0 like  3 次浏览 

离散数学笔记(6)——集合论

集合论 关系性质证明方法 自反性 用自反定义证明:任取 $x \in A$,证明 $<x,x> \ …

0 like  4 次浏览 

离散数学笔记(5)——集合论

关系 三个特殊关系 空关系:因为 $\varnothing \subseteq A \times B(A \t …

0 like  4 次浏览 

离散数学笔记(4)——谓词逻辑和集合论

谓词演算的推理理论 推理方法 直接推理、条件论证、反证法 所用公式 等价式、蕴含式 推理规则 P,T,CP,U …

0 like  12 次浏览 

离散数学笔记(3)——谓词逻辑

基本概念 个体与个体变元 能够独立存在的事物,称之为个体,也称之为客体。它可以是具体的,也可以是抽象的。 通常 …

0 like  8 次浏览 

离散数学笔记(2)——命题逻辑

重言蕴涵式 重要的重言蕴涵式 $P \land Q \Rightarrow P,P \land Q \Righ …

0 like  22 次浏览 

离散数学笔记(1)——命题逻辑

命题逻辑 命题 非真即假,不可兼($T/F$) 语句 算不算命题 哥德巴赫猜想 算 悖论(我正在说谎) 不算  …

3 like  21 次浏览