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

问题1：什么是(初等)数论？ 问题2：素数有哪些性质？

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

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

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

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

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

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

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

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