点击选择搜索分类
首页 - 哲学- 正文
☆☆☆☆☆
||
谢胜利 等 著
出版社: 清华大学出版社 ISBN:9787302274186 版次:1 商品编码:10921914 品牌:清华大学 包装:平装 开本:16开 出版时间:2012-01-01 用纸:胶版纸 页数:180 正文语种:中文
《21世纪高等学校规划教材·计算机科学与技术:离散数学基础》叙述简洁、深入浅出、注重实践和应用,主要面向地方院校和独立学院计算机类专业的本科学生,也可以作为大学非计算机专业学生的选修课教材和计算机应用技术人员的自学参考书。
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
第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
参考文献
离散数学基础/21世纪高等学校规划教材·计算机科学与技术 电子书 下载 mobi epub pdf txt
离散数学基础/21世纪高等学校规划教材·计算机科学与技术-so88
离散数学基础/21世纪高等学校规划教材·计算机科学与技术 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
谢胜利 等 著
出版社: 清华大学出版社 ISBN:9787302274186 版次:1 商品编码:10921914 品牌:清华大学 包装:平装 开本:16开 出版时间:2012-01-01 用纸:胶版纸 页数:180 正文语种:中文
内容简介
《21世纪高等学校规划教材·计算机科学与技术:离散数学基础》对计算机类专业在本科阶段最需要的离散数学基础知识做了系统的介绍,力求概念清晰,注重实际应用。全书共7章,包括准备知识(集合、整数、序列、矩阵)、数理逻辑、组合数学(计数)、二元关系、布尔代数、图论(图、树、图和树的有关算法)等,并含有较多的与计算机类专业有关的例题和习题。《21世纪高等学校规划教材·计算机科学与技术:离散数学基础》叙述简洁、深入浅出、注重实践和应用,主要面向地方院校和独立学院计算机类专业的本科学生,也可以作为大学非计算机专业学生的选修课教材和计算机应用技术人员的自学参考书。
目录
第1章 准备知识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
第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
参考文献
前言/序言
离散数学基础/21世纪高等学校规划教材·计算机科学与技术 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 世界珍闻大观(套装共3册)
- 敦煌艺术入门十讲
- 世界奇异档案记录第三季
- 电子达人——我的本电子制作书 9787115359308
- 正版书籍 世界科普巨匠经典译丛:地球的故事(2016教育部推荐)
- 声纳阵列信号处理技术 电子与通信 书籍
- 从粒子到宇宙:肉眼看不见的极美世界 天文航天 科普书籍
- 电子系统测试原理 9787111198086 机械工业出版社
- 中国未解之谜(精致图文版) 龚勋
- 正版吉他教材 吉他演绎的好声音之流行篇 入门吉他曲谱 基础
- 科技发展五十年 探索动物世界的奥秘
- 传感技术基础与技能实训(修订版)
- 正版 悦读中国 中国当代科技 9787546120157 顾鸣 黄山书社
- 声乐基础教程(册)
- 科普供给侧的革命 9787504676320