离散数学

离散数学教学团队

目录

  • 1 命题逻辑
    • 1.1 命题符号化及联结词
    • 1.2 命题公式及分类
    • 1.3 等值演算
    • 1.4 范式
    • 1.5 联结词全功能集与组合电路
    • 1.6 推理理论
    • 1.7 第1章作业解答
  • 2 一阶逻辑
    • 2.1 一阶逻辑的基本概念
    • 2.2 一阶逻辑合式公式及解释
    • 2.3 一阶逻辑等值式与前束范式
    • 2.4 第2章作业解答
  • 3 集合的基本概念和运算
    • 3.1 集合的基本概念
    • 3.2 集合的基本运算
    • 3.3 集合中元素的计数
    • 3.4 第3章作业解答
  • 4 二元关系和函数
    • 4.1 集合的笛卡儿积与二元关系
    • 4.2 关系的运算
    • 4.3 关系的性质
    • 4.4 关系的闭包
    • 4.5 等价关系和偏序关系
    • 4.6 第4章1-5节作业解答
    • 4.7 函数
  • 5 代数系统简介
    • 5.1 二元运算及其性质
    • 5.2 代数系统
    • 5.3 几个典型的代数系统
推理理论

1.课前预习任务

（1）说出有哪些推理定律和推理规则；（2）学会构造证明法：直接证明法，附加前提证明法，归谬法。  

2. 授课课件  

     3.授课视频

4.当堂小测

     5.讨论与练习