离散数学基础及实验教程（第3版）（21世纪高等学校规划教材·计算机科学与技术）

图书标准信息

• 作者 谢胜利、虞铭财、王振宏 著
• 出版社 清华大学出版社
• 出版时间 2019-02
• 版次 3
• ISBN 9787302513261
• 定价 39.50元
• 装帧 平装
• 开本 16
• 纸张 胶版纸
• 页数 227页
• 字数 370千字

【内容简介】

本书以培养学生程序设计基本能力为目标，系统地介绍了C语言程序设计的基本知识和基本方法。全书共分12章,主要内容包括程序设计概述，数据类型与表达式，顺序结构、选择结构及循环结构程序设计，数组，函数与编译预处理，指针，指针与函数，构造数据类型，文件和综合实例。全书结构清晰，实例丰富，语言流畅，通俗易懂。 

　　本书可作为普通高等学校理工类专业“C语言程序设计”课程的教材，也可作为C 语言程序设计爱好者的自学用书。 

【目录】

章  准备知识
  1.1  集合
    1.1.1  集合的基本概念
    1.1.2  集合的基本运算和质
    1.1.3  集合的笛卡儿积
    1.1.4  集合的计算机表示
  1.2  整数
    1.2.1  整除
    1.2.2  优选公约数和小公倍数
    1.2.3  模运算
  1.3  序列和递推关系
    1.3.1  序列
    1.3.2  序列求和
    1.3.3  递推关系
  1.4  矩阵
    1.4.1  矩阵的概念
    1.4.2  矩阵的运算
    1.4.3  布尔矩阵
  题1
第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.3.3  范式
  2.4  命题逻辑的推理理论
    2.4.1  推理的形式结构
    2.4.2  演绎法证明推理
  2.5  谓词逻辑基础
    2.5.1  谓词逻辑的基本概念
    2.5.2  谓词公式及其解释
  2.6  谓词逻辑等值式与范式
    2.6.1  谓词逻辑等值式
    2.6.2  前束范式
  2.7  谓词逻辑的推理理论
    2.7.1  有关量词的基本蕴涵式
    2.7.2  有关量词的推理规则
  题2
第3章  
  3.1  基本、排列与组合
    3.1.1  基本的原则
    3.1.2  排列与组合
  3.2  排列组合的进一步讨论
    3.2.1  圆周排列
    3.2.2  有重复的排列
    3.2.3  有重复的组合
  3.3  生成排列和组合
    3.3.1  生成排列
    3.3.2  生成组合
  3.4  生成函数及其应用
    3.4.1  生成函数的定义
    3.4.2  生成函数求解问题
    3.4.3  使用生成函数求解递推关系
  3.5  鸽巢
    3.5.1  一般的鸽巢
    3.5.2  推广的鸽巢
  3.6  容斥
    3.6.1  容斥简介
    3.6.2  容斥的应用
  题3
第4章  关系
  4.1  关系定义及其表示
    4.1.1  关系的基本概念
    4.1.2  二元关系的表示
  4.2  关系的运算
    4.2.1  关系的合成
    4.2.2  逆运算
  4.3  关系的质
    4.3.1  自反与反自反
    4.3.2  对称与反对称
    4.3.3  传递关系
  4.4  n元关系及其应用
  4.5  关系的闭包
    4.5.1  闭包的概念和求法
    4.5.2  warshall算法
  4.6  等价关系
    4.6.1  等价关系与等价类
    4.6.2  等价关系与划分
  4.7  偏序关系
    4.7.1  偏序关系和哈斯图
    4.7.2  极值和值
    4.7.3  拓扑排序
  4.8  函数
    4.8.1  函数的定义
    4.8.2  函数的类型
    4.8.3  函数的运算
  题4
第5章  布尔代数
  5.1  布尔函数
    5.1.1  布尔函数和布尔表达式
    5.1.2  布尔代数中的恒等式
  5.2  布尔函数的表示
    5.2.1  布尔函数的主析取范式
    5.2.2  函数完备
  5.3  布尔代数的应用
    5.3.1  门电路
    5.3.2  卡诺图
  题5
第6章  图
  6.1  图的基本概念
    6.1.1  无向图和有向图
    6.1.2  握手定理
    6.1.3  图的同构
  6.2  图的连通
    6.2.1  通路和回路
    6.2.2  无向图的连通
    6.2.3  有向图的连通
  6.3  图的矩阵表示
    6.3.1  关联矩阵
    6.3.2  邻接矩阵
    6.3.3  有向图的可达矩阵
  6.4  一些特殊的图
    6.4.1  二部图
    6.4.2  欧拉图
    6.4.3  哈密尔顿图
  6.5  带权图的短路径
    6.5.1  dijkstra算法
    6.5.2  floyd算法
    6.5.3  旅行商问题
  6.6  面图
    6.6.1  面图的定义
    6.6.2  欧拉公式
    6.6.3  库拉图斯基定理
  题6
第7章  树
  7.1  无向树
    7.1.1  无向树的定义
    7.1.2  无向树的应用例子
  7.2  生成树
    7.2.1  生成树的定义
    7.2.2  求小生成树的算法
  7.3  根树及应用
    7.3.1  根树的定义及应用
    7.3.2  很优二树和huffman编码
    7.3.3  二树的遍历
  题7
第8章  离散数学实验
  8.1  实验一准备知识
    8.1.1  集合定义
    8.1.2  子集
    8.1.3  a-b
    8.1.4  集合相等
    8.1.5  笛卡儿积
    8.1.6  优选公约数与小公倍数
    8.1.7  余数
    8.1.8  fibonacci数列
    8.1.9  汉诺塔
    8.1.10  汉诺塔ⅲ
    8.1.11  序列和
    8.1.12  有效编码
    8.1.13  矩阵的和
    8.1.14  矩阵的布尔积
  8.2  实验二数理逻辑
    8.2.1  命题联结词
    8.2.2  成真解释
    8.2.3  公式类型
    8.2.4  主析取范式
    8.2.5  主合取范式
    8.2.6  派谁去进修的问题
    8.2.7  推理1
    8.2.8  推理2
    8.2.9  公式的真值1
    8.2.10  公式的真值2
  8.3  实验三
    8.3.1  密码
    8.3.2  圆周排列1
    8.3.3  圆周排列2
    8.3.4  有重复的组合
    8.3.5  生成排列
    8.3.6  生成组合
    8.3.7  上班问题
    8.3.8  解方程1
    8.3.9  解方程2
    8.3.10  工作组
  8.4  实验四关系
    8.4.1  关系矩阵
    8.4.2  关系的合成1
    8.4.3  关系的合成2
    8.4.4  关系的运算
    8.4.5  自反
    8.4.6  对称
    8.4.7  对称闭包
    8.4.8  传递闭包
    8.4.9  同余
    8.4.10  等价类
    8.4.11  等价关系
    8.4.12  哈斯图
    8.4.13  极值
    8.4.14  值
    8.4.15  拓扑排序
  8.5  实验五图
    8.5.1  简单图1
    8.5.2  简单图2
    8.5.3  度数列1
    8.5.4  度数列2
    8.5.5  连通图
    8.5.6  单向连通
    8.5.7  强连通
    8.5.8  二分图
    8.5.9  欧拉图
    8.5.10  半欧拉图
    8.5.11  欧拉回路
    8.5.12  欧拉路
    8.5.13  单源正权短路径
    8.5.14  短路径
    8.5.15  面图1
    8.5.16  面图2
  8.6  实验六树
    8.6.1  无向树
    8.6.2  小生成树
    8.6.3  根树
    8.6.4  huffman编码
参文献