顶部
收藏

软件技术基础(配盘)

新世纪高职高专教改项目成果教材

作者:
来可伟 编
定价:
26.60元
ISBN:
978-7-04-014765-0
版面字数:
390千字
开本:
16开
全书页数:
251页
装帧形式:
平装
重点项目:
新世纪高职高专教改项目成果教材
出版时间:
2004-05-07
读者对象:
高等职业教育
一级分类:
计算机大类
二级分类:
计算机类
三级分类:
软件技术

  本书是教育部新世纪高职高专教育人才培养模式和教学内容体系改革与建设项目成果,是组织有关教育部高职高专教育专业教学改革试点院校编写的。
  本教材系统地介绍了离散数学、数据结构、C++语言编程三个领域的知识。在理论方面,将离散数学作为编程技术必要的数学常识进行了深入浅出的介绍,以培养学员将实际问题抽象为数学表达式的抽象思维能力。在实验技能方面,采用基于案例(case-based)的方式,通过完整的编程全过程练习,使学员能按现代软件工业一线编程人员的要求掌握编程的基本技能,养成良好的规范化作业的习惯。
  教材对各种常见数据结构采用了基于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 LinkedList
    • 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语法规则
  • 参考文献

相关图书