画布 1
离散数学考点梳理
  基本信息
    分数比例
      按章节
        ch1
          18
        ch2
          3-5
        ch3&ch4
          35
        ch5
          15-18
        ch7
          the rest
    后续课程与答疑
      一月三日 9:00-12:00 A教2楼教室休息室答疑
      本周六12月29日不上课
    推荐顺序
      按照赋分与章节内容量的比值构造最优二叉树
    例子的页码与章节以左孝凌的《离散数学》与老师上课课件pdf为准（在理学院17级数学系的离散数学/2016级pdf课件.rar内）
    有符号
        重点
  ch1命题与逻辑
    大题
      化主析(合)取范式
        要么要么
          不可兼或
        没有 没有
        只要P就Q
        只有Q才P
        仅当Q才P
        除非Q否则非P
        P->Q
          e.g.除非下雨否则进城
            不进城->下雨
              非下雨->进城
      蕴含式的证明
        连接词
          内容
            否定
            合取
            析取
            排斥析取
            单条件
              当且仅当前真后否为假
            双条件
              当且仅当前后真值相同时真
          优先级
    小题
      等价式的判别
      翻译命题
  ch2谓词逻辑
    小题
      等价式（蕴含式）的判别
      谓词的翻译
      换名代入
  ch3-4集合与关系与函数
    大题
      包含排斥原理
        eg完全排错公式
      等价关系的证明与应用
        划分与等价关系一一对应
          4 有15
          5有52
      偏序关系，子集中的特殊元素及哈斯图
        eg 在数字1 2 3 4 5 6 7 8 9 0中找到关系画一个哈斯图
        eg 在数字1 2 3 4 5 6 7 8 9 10中找到关系画一个哈斯图
        反自反关系
          关系矩阵对角线都是0
        对称关系
          关系矩阵为对称阵
        反对称
        自反关系
          关系矩阵对角线都是1
        反对称
        传递
        复合
        逆
        偏序关系
          盖住
          全序关系
          良序关系
            无限的不行,会有开集
    小题
      差－与对称差⊕运算性质
      五大性质的判别
      闭包
        eg p127的5）
      关系的复合
        复合之后是否保持性质
            举例子验证
      复合函数gºf与f，g之间入射满射关系
      etc
  ch5代数结构
    大题
      <A,*>特定元素的求解
        eg 幺元 零元 逆元
      群的证明
        eg 群 独异点 半群 广群的关系
    小题
      运算*的性质（的判别）
        eg 5-2的5）
      特殊代数系统之间的关系及判定
  ch7图论
    大题
      证明题
      计算题
        基本概念
          所有顶点的度之和为边的两倍
          无向图是弱连通图 强连通图有一条通过所有节点的有向回路
        平面图
          v-e+r=2
            v-e+r=W(G)+1
          e<=3v-6
          所有顶点的度之和为边的两倍
        树
        E-图
        H-图
      前缀码的应用
        最高频对应的二进制码最短
      作图题(满足特定的要求)
    小题
      互不同构的生成树有几种？
      平面图的性质
      E-图 H-图充分必要条件的判别