| 前言 第一章 教材与教学 1.1 本课程的知识结构组成 1.2 离散数学 1.3 数据结构与算法设计 1.4 C++语言 1.5 学习要求和方法 1.6 附录多媒体光盘 1.7 软件技术教育 思考题： 第二章 命题逻辑 2.1 逻辑命题 2.1.1 命题 2.1.2 复合命题 2 命题公式与真值表 2.2.1 命题公式 2.2.2 真值表 2.2.3 永真式、永假式、可满足公式 2.3 命题演算 2.3.1 命题公式的化简 2.3.2 命题推理规则与方法 2.4 命题模型 2.4.1命题建模 2.4.2 命题模型推理（选读） 习题： 第三章 谓词逻辑 3.1 谓词命题和谓词公式演算 3.1.1 谓词、个体词、量词 3.1.2 谓词公式演算 3.2 谓词模型 3.2.1谓词建模 3.2.2 谓词模型推理 习题： 第四章 集合论 4.1 集合的概念 4.1.1 集合 4.1.2 集合的描述方法 4.1.3 集合间的关系 4.2 集合运算 4.2.1 集合的运算 4.2.2 集合的运算定律 4.3 集合模型 4.3.1 用集合分类 4.3.2 集合命题推理（选读） 4.4 集合基数推理(选读) 习题： 第五章 图论 5.1 图与树 5.1.1 图(Graph) 5.1.2 图的性质 5.1.3 完全图和子图 5.1.4 图的同构 5.1.5 平面图 5.1.6 有权图和网络 5.1.7 树、根树 5.1.8 二叉树 (binary tree) 5.2 图的运算 5.2.1 图的连通性 5.2.2 欧拉回路 5.2.3 哈密顿回路 5.2.4 生成树(spanning tree) 和最小生成树（MST） 5.2.5 Dijkstra算法 5.2.6 图结点的遍历 5.2.7 树的遍历 5.2.8 二叉树的遍历 5.3 图论建模 5.3.1 用图表示网络关系 5.3.2 用树表示层次关系 5.3.3 搜索树（Search Tree） 习题： 第六章 C++编程作业入门 6.1 程序编写作业概述 6.1.1 编程语言 6.1.2 编译程序与编译作业流程 6.2 用VC++编译器进行编程作业 6.2.1 建立VC++项目 6.2. |
内容加载中，请稍后...
商品评论（0条）