南京大学：《离散数学 Discrete Mathmatics》课程教学资源（课件讲稿，2018）代数系统——第15章 代数系统

研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

格的定义与性质 分配格、有补格与布尔代数

10.1 格的定义与性质 10.2 子格与格同态 10.3 特殊格 10.4 布尔代数

 内容1：代数格的定义与性质  内容2：格同态、格同构  内容3：分配格、有补格、有补分配格

 问题1：什么是代数系统？  问题2：代数系统相关性质？  问题3：什么是群？  问题4：群具有哪些性质？

• 集合的基本概念 • 集合的运算 • 有穷集的计数 • 集合恒等式

 归纳： 数学归纳法与强数学归纳法 运用良序公理来证明  递归： 递归定义 结构归纳法与递归算法

§1格的概念 §2分配格 §3有补格 §4*布尔代数

6.1 代数系统的基本概念 6.2 二元运算的性质 6.3 子代数和积代数