zhangbw's blog

代数系统简介一、 二元运算及其性质①、定义②、二元与一元运算的表示③、二元运算的性质④、特异元素：单位元、零元，逆元二、代数系统①、定义②、代数系统的成分与表示③、同类型与同种代数系统三、几个典型的代数系统①、半群、独异点与群②、环与域一、 二元运算及其性质①、定义②、二元与一元运算的表示③、二元运算的性质实例：④、特异元素：单位元、零元，逆元实例二、代数系统①、定义②、代数系统的成分与表示③、同类型与同种代数系统三、几个典型的代数系统

总结 离散数学知识点http://blog.youkuaiyun.com/icepointline/article/details/37878441第二章 命题逻辑1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假；2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；5.求范式时，为保证编码不错，命题变元

一、基本等值式

├ 断定符（公式在 L 中可证）╞ 满足符（公式在 E上有效，公式在 E上可满足）┐命题的 “非”运算∧ 命题的 “合取 ”（“与”）运算∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算→ 命题的 “条件 ”运算A<=>B 命题 A 与 B 等价关系A=>B 命题 A 与 B 的蕴涵关系A* 公式 A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的 “与非 ” 运算（ “与非门 ” ）↓ 命题的 “或非 ”运算（ “或非门 ” ）□模态词 “必然 ”◇

Warshall算法求传递闭包1、算法描述：2、例题：3、Python代码实现4、参考文章：1、算法描述：传递闭包的一种有效算法—Warshall算法，这种算法也便于计算机实现。(1)、置新矩阵A＝M；(2) 、i＝1；(3)、对所有j如果A[j，i]＝1，则对k＝1，2，…，n，A[j，k]＝A[j，k]∨A[i，k]；(4)、i加1；（i是行，j是列）(5)、如果i≤n，则转到步骤3)，否则停止。2、例题：3、Python代码实现Matrix = [] # 声明空矩阵

一、集合1、子集子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。符号语言：若∀a∈A，均有a∈B，则A⊆B。二、二元关系三、函数1、单射，满射，双射的区别...