8.1 二部图 8.2 欧拉图 8.3 哈密顿图

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

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

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

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

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

一、函数极限的定义 二、函数极限的性质 三、小结与思考判断题

一、极限存在的两个准则 二、两个重要极限 三、小结与思考判断题

一 函数的四则运算的微分法则 二 反函数的微分法则 三 复合函数的微分法则及微分形式不变性 四 微分法小结

一、积分上限函数及其导数 二、积分上限函数求导法则 三、微积分基本公式