搜索
©2013计算机1班计算机科学与技术内部资料禁止外传2015年1月离散数学复习纲要第一章1.命题的概念2.逻辑连接词3.命题的符号化与翻译4.构造真值表5.命题公式等价式与蕴含式6.主析取范式、主合取范式第二章1.谓词公式翻译2.量词辖域的收缩与扩张3.前束范式4.推理证明第三章1.集合与关系2.基数、幂集、笛卡尔积3.求关系矩阵、画关系图、关系的性质4.等价关系、划分、等价类5.商集、偏序关系、整除、=、哈斯图第四章1.函数2.单射、满射、双射、映射的种类3.函数的复合运算及其性质4.双射的证明※第五章1.代数系统的概念，幺元零元逆元2.二元运算的性质，结合律交换律幂等律3.半群的概念，半群的验证，独异点4.群的概念，群的验证5.阿贝尔群的概念，阿贝尔群的验证第六章1.格的概念，格的判断，格的性质2.分配格的概念，分配格的判断，典型的非分配格3.有界格，有补格，逆元4.布尔代数第七章1.完全图不完全图，简单图多重图2.结点度数与边数的关系3.子图，生成子图4.路，迹，通路，回路，圈5.图的连通性，连通分支6.图的邻接矩阵，定长路径的判断7.欧拉图哈密尔顿图的判断，欧拉图的充要条件8.无向树的六个等价条件9.根树的定义，完全m叉树中的数量关系，求最小生成树答疑时间：21日上午9点——12点地点：8#603A1月13日上午9点——12点（需要预约）说明：内容由王低调整理，仅供参考。1/1