离散数学

离散数学教学团队

目录

  • 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）能指出公式中的约束变元和自由变元；（3）能判断公式在指定解释和赋值下的真值；（4）能判断一些特殊谓词公式的类型。  

2. 授课课件 

      3.授课视频

4.当堂小测

5.讨论与练习