6.1 数据统计处理 6.2 数据插值 6.3 曲线拟合 6.4 离散傅立叶变换 6.5 多项式计算

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

6.1 数据统计处理 6.2 数据插值 6.3 曲线拟合 6.4 离散傅立叶变换 6.5 多项式计算

7.1格与子格 7.2特殊格 7.3布尔代数 7.4例题选解

1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

欧拉图 哈密顿图 二部图与匹配 平面图 着色

无向树及其性质 生成树 根树及其应用

6.1数据统计处理 6.2数据插值 6.3曲线拟合 6.4离散傅立叶变换 6.5多项式计算

10.1建模 例P578投资预算问题 1500万可投于4个项目

–推理的形式结构 –自然推理系统P