离散数学

段冬燕 李静

目录

  • 1 绪言
    • 1.1 离散数学概述
  • 2 数理逻辑
    • 2.1 命题逻辑
      • 2.1.1 命题与命题联结词、命题公式
      • 2.1.2 公式分类与等值演算
      • 2.1.3 基本蕴涵式及蕴涵推理
      • 2.1.4 范式
      • 2.1.5 其他网络资源
        • 2.1.5.1 网络资源：命题逻辑（一）
        • 2.1.5.2 网络资源：命题逻辑（二）
        • 2.1.5.3 网络资源：命题逻辑（三）
    • 2.2 谓词逻辑
      • 2.2.1 谓词和量词
      • 2.2.2 谓词公式及分类
      • 2.2.3 自然语句形式化
      • 2.2.4 谓词逻辑的等值演算
      • 2.2.5 前束范式
      • 2.2.6 谓词逻辑的推理
  • 3 集合论
    • 3.1 集合的基本概念
    • 3.2 集合运算
    • 3.3 笛卡儿乘积与关系基本概念
    • 3.4 关系的运算
    • 3.5 关系的重要性质
      • 3.5.1 关系重要性质测验
    • 3.6 关系的闭包运算
    • 3.7 次序关系
      • 3.7.1 次序关系预习检测
    • 3.8 等价关系
    • 3.9 函数
    • 3.10 网络资源
      • 3.10.1 网络资源：二元关系和函数（二）
      • 3.10.2 网络资源：二元关系和函数（三）
      • 3.10.3 网络资源：二元关系和函数（四）
  • 4 图论
    • 4.1 图的基本概念
    • 4.2 通路、回路与连通性+欧拉图
    • 4.3 图的矩阵表示法与离散建模实例
    • 4.4 常用图——树
    • 4.5 网络资源
      • 4.5.1 网络资源：图的基本概念（一）
      • 4.5.2 网络资源：图的基本概念（二）
      • 4.5.3 网络资源：图的基本概念（三）
      • 4.5.4 网络资源：一些特殊的图（二）（选读）
      • 4.5.5 网络资源：一些特殊的图（一） (选读)
  • 5 代数系统
    • 5.1 代数系统的基本概念+一些基本性质
    • 5.2 同构与同态
    • 5.3 群的基本概念
    • 5.4 几个特殊的群
    • 5.5 网络资源
      • 5.5.1 网络资源：代数系统的一般性质（一）
      • 5.5.2 网络资源：代数系统的一般性质（二）
      • 5.5.3 网络资源：几个典型的代数系统（一）
      • 5.5.4 网络资源：几个典型的代数系统（二）
代数系统的基本概念+一些基本性质
  • 1 学习目标、学习任务单
  • 2 学习内容
  • 3 拓展提高
  • 4 代数系统研究方法

学习目标

1.  掌握代数系统的概念

2. 了解常用的一种代数系统(X*, o)

3. 了解相同类型的代数系统及子系统的概念

4. 掌握代数系统常见的性质及其应用

5. 理解单位元、零元及逆元的概念

6. 掌握单位元、零元及逆元的判定

学习任务单

1. 预习学习通上“5.1 代数系统的基本概念+5.2 代数系统的一些基本性质”的相关视频、课件、讲义，电子版教材P63-P68。

2. 预习后回答以下问题：

(1) 普通的加法、减法运算是不是自然数集N上的二元运算？

(2) 代数系统须满足什么条件？

(3) 两个代数系统满足什么条件称为相同类型的代数系统？

(4) 如何判断一代数系统的运算是否满足结合律？是不是任何代数系统上的运算都满足结合律？

(5) 如何判断一代数系统的运算是否满足交换律？是不是任何代数系统上的运算都满足交换律？

(6) 如何判断一代数系统是否存在单位元素？单位元素如存在，是否唯一？

(7) 如何判断一代数系统是否存在零元素？零元素如存在，是否唯一？

(8) 如何判断一代数系统是否存在逆元素？逆元素的存在能否构成一个代数系统的唯一性质？