 内容1：布尔代数  内容2：有限布尔代数表示定理

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

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

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

 1：等价关系与等价类  2：偏序关系、偏序集、偏序格

 问题1：关系具有哪些重要性质？  问题2：如果计算关系的闭包？

1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

 内容1：容斥原理  内容2：鸽笼原理  内容3：排列与组合

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

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