软件技术基础：离散数学、数据结构、C++编程实训

GeekCat

内容简介
《软件技术基础：离散数学、数据结构、C++编程实训》是教育部新世纪高职高专教育人才培养模式和教学内容体系改革与建设项目成果，是组织有关教育部高职高专教育专业教学改革试点院校编写的。
《软件技术基础：离散数学、数据结构、C++编程实训》本教材系统地介绍了离散数学、数据结构、C++语言编程三个领域的知识。在理论方面，将离散数学作为编程技术必要的数学常识进行了深入浅出的介绍，以培养学员将实际问题抽象为数学表达式的抽象思维能力。在实验技能方面，采用基于案例(case—based)的方式，通过完整的编程全过程练习，使学员能按现代软件工业一线编程人员的要求掌握编程的基本技能，养成良好的规范化作业的习惯。
《软件技术基础：离散数学、数据结构、C++编程实训》教材对各种常见数据结构采用了基于C++语言类模板的实现方法，不但方法新颖、充分体现基础理论对编程的指导作用，而且有很高的实用价值。
《软件技术基础：离散数学、数据结构、C++编程实训》本书适合于高等职业学校、高等专科学校、成人高校、示范性软件职业技术学院、本科院校举办的二级职业技术学院，也适合本科院校、继续教育学院、民办高校及技能型紧缺人才使用，还可供计算机专业人员和爱好者参考使用。
软件技术基础：离散数学、数据结构、C++编程实训

目录

第1章 绪论
1．1 本课程的知识结构
1．2 离散数学
1．3 数据结构与算法设计
1．4 C++语言
1．5 学习要求和方法
1．6 书后配盘
1．7 软件技术教育
习题
第2章 命题逻辑
2．1 命题逻辑的基本概念
2．1．1 命题
2．1．2 复合命题
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章 谓词逻辑
3．1 谓词命题和谓词公式演算
3．1．1 谓词和个体词
3．1．2 量词
3．1．3 谓词公式演算
3．2 谓词模型
3．2．1 谓词建模
3．2．2 谓词推理
习题
第4章 集合论
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章 图论
5．1 图与树
5．1．1 图
5．1．2 图的性质
5．1．3 完全图和子图
5．1．4 图的同构
5．1．5 平面图
5．1．6 有权图和网络
5．1．7 树和根树
5．1．8 二叉树
5．2 图的运算
5．2．1 图的连通性
5．2．2 欧拉回路
5．2．3 哈密顿回路
5．2．4 生成树和最小费用生成树
5．2．5 狄克斯特算法
5．2．6 图的遍历
5．2．7 树的遍历
5．2．8 二叉树的遍历
5．3 图论建模
5．3．1 用图表示网络关系
5．3．2 用树表示分类的层次关系
5．3．3 搜索树
习题
第6章 C++编程作业入门
6．1 程序编写作业概述
6．1．1 编程语言
6．1．2 编译器与编译作业流程
6．2 用VC++编译器进行编程作业
6．2．1 建立VC++项目
6．2．2 编辑源代码文件
6．2．3 编译和查错
6．2．4 连编和运行程序
6．2．5 项目的关闭和再打开
6．2．6 向项目中添加文件和从项目中删除文件
6．3 C++语言词法概要
6．3．1 基本词汇
6．3．2 标点符号
6．3．3 关键词
6．3．4 标识符
6．3．5 常数
6．3．6 运算符
6．3．7 注释
6．4 C++语言句法概要
6．4．1 定义语句
6．4．2 数据类型的转换
6．4．3 导出数据类型
6．4．4 函数和函数调用机制
6．4．5 运算式
6．4．6 程序控制语句
6．4．7 应用数理逻辑设计程序控制语句
6．4．8 指针变量
6?4．9 字符串的运算
6．4．10 数据的输入输出函数
习题
第7章 用类编写面向对象的程序
7．1 C++语言中类的概念
7．1．1 概述
7．1．2 类定义
7．1．3 构造函数和析构函数
7．1．4 成员函数的定义与调用
7．1．5 引用数据类型和左值成员函数
7．1．6 成员函数的重载与运算符成员函数
7．1．7 案例——用类的运算符函数解线性方程组
7．2 面向对象程序设计方法与C++的类
7．2．1 人的抽象思维方法
7．2．2 C++的类的聚集机制
7．2．3 C++的类的继承机制
7．2．4 按C++的类划分程序模块
习题
第8章 用类模板实现线性数据结构
8．1 类模板
8．1．1 数据结构和离散数学
8．1．2 固定长度的List模板
8．1．3 模板的实例化
8．1．4 长度可自动改变的List模板
8．1．5 List模板三
8．1．6 Linked List
8．2 矢量、矩阵和线性方程组的C++模板
8．2．1 矢量和矩阵的数学概念
8．2．2 矢量和矩阵的模板
8．3 排序和检索
8．3．1 气泡法排序和函数模板
8．3．2 对分检索法
8．3．3 插入排序
8．4 队列和堆栈
8．4．1 Stack模板
8．4．2 Queue模板
习题
第9章 编程作业全过程
9．1 软件系统开发过程
9．1．1 系统分析、系统设计和系统实施
9．1．2 UML方法
9．2 用类图建立数据模型
9．2．1 类和实例
9．2．2 属性
9．2．3 运算
9．2．4 类的图形表示
9．2．5 关联
9．2．6 关联类
9．2．7 关联的约束
9．2．8 继承
9．2．9 聚集
9．2．10 案例——学籍管理系统的数据模型
9．3 由数据模型设计C++程序
9．3．1 类的映射规则
9．3．2 继承的映射规则
9．3．3 聚集的映射规则
9．3．4 关联的映射规则
9．3．5 关联类的映射规则
9．3．6 通过计算获取冗余信息
9．4 数据模型的一致性和完整性
9．4．1 数据模型的概念一致性
9．4．2 数据一致性和完整性的动态维护
9．5 用户界面的设计
9．5．1 用户界面的作用
9．5．2 UCD
9．5．3 设计用户菜单
9．5．4 验证用户输入
9．5．5 输出数据的可读性
9．6 程序的检测
9．6．1 程序错误的种类和原因
9．6．2 程序运行检测步骤
9．6．3 用VC++编译器的调试功能跟踪程序运行过程
9．6．4 测试数据
9．7 编程作业的文档工作
习题
第10章 树和图的C++模板
10．1 根树模板
10．1．1 根树的数据模型和C++模板
10．1．2 根树的广度优先遍历函数
10．1．3 根树的深度优先遍历函数
10．1．4 求根树中所有路径
10．2 二又树
10．2．1 二叉树的数据模型和C++模板
10．2．2 二叉树的遍历算法
10．2．3 二叉检索树简介
10．3 递归
10．3．1 递归的数学概念
10．3．2 递归算法的化解
10．4 图的C++模板和程序
10．4．1 图的数据模型和C++模板
10．4．2 无向图的最小费用生成树和克鲁斯克尔函数
习题
第11章 课程作业
11．1 课程作业一——学籍管理系统
11．1．1 根据系统数据模型设计C++类定义
11．1．2 定义管理实例的序列
11．1．3 完成UCD
11．1．4 设计菜单函数
11．1．5 设计交互式数据输入函数
11．1．6 划分程序模块
11．1．7 测试程序
11．1．8 编写完整的文档
11，1．9 其他要求
11．2 课程作业二——五子棋游戏
11．2．1 程序工作原理分析
11．2．2 数据建模
11．2．3 函数win()的实现
11．2．4 显示棋盘和棋子的函数
11．2．5 主函数控制逻辑
11．2．6 产生棋着的算法
11．2．7 其他要求
附录一 名词索引
附录二 离散数学部分习题参考答案和提示
附录三 如何阅读用形式文法描述的C++语法规则
参考文献

下载地址：

游客，如果您要查看本帖隐藏内容请回复

heyteng

确实是难得的资料，谢谢。

Chensity

课程内容很好呢，来学习学习。

xz00311

资料好多啊希望不要回复下载，想全部下载估计会禁言的

GeekCat

xz00311 发表于 2015-8-13 18:54
资料好多啊希望不要回复下载，想全部下载估计会禁言的

不乱发和灌水回复就不会被禁言
我发的资料你们能喜欢，是我最荣幸的事~~

grs432

谢谢分享了呀

拈花热炒

感谢分享                     

noahcxu

谢谢楼主的分享！！！

新气象

感谢分享，新手过来学习一下。

wakichen

谢谢分享啊，辛苦了