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

1、算术基本定理 2、同余关系 3、密码学基础

1、逻辑(Logic) 2、集合(Sets) 3、算法(Algorithms) 4、数论(Number Theory)

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

问题1：什么是关系？如何表示关系？如何进行关系运算？ 问题2：什么是函数？什么是单射、满射函数？如何进行函数运算？

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

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

 问题1：什么是子群，如何判别之？  问题2：子群一定存在么，若存在则满足什么性质？

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

 内容1：生成树及其构造方法  内容2：最小生成树算法