zhanghanqmx的博客

命题逻辑等值演算Equivalent calculus of propositional logic联结词完备集adequate set of truth functional connectives空简单析取式empty simple disjunctive formula消解文字resolution literal消解式resolvent消解结果resolution result消解规则resolution rule消解序列resolution sequence否证disconfirm

偏序集偏序 partial order偏序集 partially ordered set or poset对偶 dual可比的 comparable线性序 linear order链 chain积偏序 product partial order字典式的 lexicographic前缀 prefix拓扑排序 topological sorting极大元 maximal element极小元 minimal element最大元 greatest element最小元 least e

群，环和域二元运算 binary operation代数系统 algebraic system等幂元 idempotent element左幺元 left identity element右幺元 right identity element幺元 identity element左逆元 left inverse element右逆元 right inverse element逆元 inverse element零元 zero element同态映射 homomorphic mapping

函数函数 function映射 mapping值 value象 image陪域 codomain有标号的有向图 labeled diagraph恒等函数 identity function偏函数 partial function单射函数 injective function满射函数 surjective function双射函数 bijective function复合函数 composition function可逆的 invertible逆函数 inverse functio

关系和有向图元组 tuples有序对 ordered pair第一元素/第一分量 component笛卡尔乘积 cartesion product二元关系 binary relation空关系 empty relation全关系 universe relation定义域 domain值域 range关系图 directed graph...

计数加法原理 addition principle of counting乘法原理 mutiplication principle of counting排列 permutationA的每次取r元素的一种组合combination of A，taken r at a time二项式定理 binomial theorem多项式定理 multinomial theorem错位排列 derangement快速排序问题 quick-sort algorithm偏差分析 deviation ana