《离散数学 Discrete Mathematics》课程教学资源（习题集）北京航空航天大学1999年研究生入学考试

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

一、字符串和形式语言 二、形式文法 三、形式文法的分类

一、图灵机的基本模型 二、图灵机接受的语言——递归可枚举语言 三、用图灵机计算函数——部分可计算函数与可计算函数

◼ 9.1 无向树及生成树 ◼ 9.2 根树及其应用

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

北师版_八年级上册_数学教案_6.4 数据的离散程度2

北师版_八年级上册_数学教案_6.4 数据的离散程度1

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

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