1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

6.1 半群与群 6.2 格与布尔代数

3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数

北京大学：《离散数学》教学计划大纲

北京大学：《离散数学》教学详细计划

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

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

7.1 引言 7.2 采样过程的数学描述 7.3 信号恢复 7.4 Z变换理论 7.5 采样系统的数学模型 7.6 离散控制系统分析 7.7 数字控制器的设计 7.8 Matlab在离散系统中应用