第5.1节 统计检验概要 第5.2节 单正态总体的统计检验及Excel实现 第5.3节 两正态总体的统计检验及Excel实现 第5.4节 两个需要说明的问题

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

对Co-S-O三元系,用比较简单的热力学与数学方法进行了计算。程序设计使用TRUE BASIC语言,绘制成该系统的优势区相图

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

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

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

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

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

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

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