离散数学复习总结考试重点笔记.docxVIP

推理 若公式A是一单个的命题变项，则称A为0层公式； 逻辑恒等和永真蕴含都是可传递的； 对偶：将∧，∨，T，F分别换以∨，∧，F，T； 对偶原理：若A=B，则A*=B*;若A=B，则B*=A*; 极小项包含简单合取式，极大项包含简单析取式； 极小项的编号i是使其为真的真值指派，极小项只有一个为真； 极大项的编号i是使其为假的真值指派，极大项只有一个为假； 矛盾式的主合取范式由全部的极大项组成，其主析取范式为0； 永真式的主析取范式由全部的极小项组成，其主合取范式为1； 对应全称量词，刻划其对应个体域的特性谓词作为蕴含式的前件加入； 对应存在量词，刻划其对应个体域的特性谓词作为合取项加入； 无自由变元的公式称为闭式； 既要使用EI又要使用UI时，先EI后UI 如果一个变量是用规则EI消去量词，对该变量在添加量词时，则只能使用规则EG； 如使用规则UI消去量词，对该变量在添加量词时，则可使用规则EG和UG 在证明序列中，先引进带存在量词的前提； 二元关系 A到B的二元关系为AxB的子集，|A|=m,|B|=n,则A到B的二元关系有2^mn个； 关系的闭包是关系的扩充； 偏序关系类似于=关系，是反对称的； 拟序关系类似于关系，是反自反和反对称的； 可比是用偏序判断的； 覆盖是用拟序关系判断的； 极小元不一定与所有元素都可比，没有比它更小的就是极小元； 极小元一定存在，最小元不一定存在； 最小元若存在，则它也是唯一的极小元； 集合B的上界/下界不一定是B中的元素； 上确界是上界中的最小元； 全序关系：任意两个元素可比，哈斯图为链； 良序关系：任意一个子集存在最小元； 函数 函数f(A-B)的基数是|f| = |A| A-B的函数有|B|^|A|个； f:A-B,g:B-C;f·g = A-C; 若f·g为满射，则g满射，f·g单则f单，f·g双则f单g满； 只有双射函数的逆关系才是函数； 代数结构 任何幺元恒有逆元； 判断a可约时，a不能是零元； S,*的平凡子代数有S,*和{e},* 同态映射：f(a*b)=f(a) ο f(b) 同构映射：f为双射； f的同态像为f(s)，则f(s),o为T,o的子代数； 当f为满同态时，S,*和T,o在结合律，交换律，幺元，零元，逆元，可约，幂等性等性质上是一致的（仅对同态像f(S)有效）； 同态f的核K(f):{x|x属于S，且f(x)=e`(e`是T的幺元)} K(f),*为S,*的子代数 群 半群是满足结合律的二元代数系统 有限集合的半群必含有幂等元； 含幺半群称为独异点； 有限独异点中不会有任意两行或者两列元素相同； 群：每个元素都存在逆元的独异点 群G中除幺元e外无其它幂等元 有限群G的每个元素都有有限阶，且其阶数不超过群G的阶数|G| G中阶大于2的元素个数一定是偶数； 若群G的阶是偶数，则G中阶等于2的元素个数一定是奇数； 交换群又称为阿贝尔群； 子群的充要条件：含幺，封闭，可逆； 群G的中心C：C是与G中所有元素都可交换的元素构成的集合； 设G为群，H，K是G的子群，则H与K的交集是G的子群，则H与K的并集是G的子群的条件是H包含K或者K包含H H是G的子群，g属于G，则陪集的性质： |gH|=|H| 当g属于H时，gH=H 设H,*为G,*的子群，任意两陪集aH和bH，或相同或不相交； H在G中的指数记为[G:H]，是指H在G中陪集数； 拉格朗日定理：G是有限群，H是G的子群，则|G|=|H|·[G:H]； 质数阶的群没有非平凡子群； 任何群G,·有两个平凡的子群G,·和e,· 设H,*为G,*的子群，如果对任意g属于G，有gH=Hg，则称H是G的正规子群; 商群：由正规子群H在G上所有陪集G/H和二元运算o构成； 群G,*与它的每个商群G/H,ο同态； 无限循环群G=a有两个生成元a和a^-1; 若G是n阶循环群，则G含有k个生成元，k是小于等于n且与n互素的正整数r的个数，即a^r为生成元。 若G=a为n阶循环群，则对n的每个正因子d，G恰好有一个d阶子群 环和域 R，+，·是环需满足： R，+是阿贝尔群 R,·是半群 ·对+可分配 环的性质： 加法幺元必为乘法零元 ·不一定满足交换律，也不一定有幺元，但一定有零元。 若·运算含有幺元，则称R是含幺环 零因子：a·b=0,则a，b为零因子，此环称为含零因子环； 若R是交换环，含幺环，无零因子环，则称R是整环 R是环，则R中无零因子当且仅当R中乘法运算满足消去律 若R*，·为阿贝尔群，R*=R-{0}，则R，+，·是域； 域也可定义为：非零元素都有乘法逆元的整环，即域必是整环； 有限整环必是域； Zp(是指Zp,+p,Xp)为域的充要条件是p为素数； 设F,+,·为域，则F中非零元素在F,+中有相同的阶； 图 有向图D=V,E