离散数学

葛守富

目录

  • 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）知道反函数存在的条件；（5）会求函数的反函数。  

2. 授课课件 

 3.授课视频


 4.当堂小测


5.讨论与练习