点击选择搜索分类
首页 - 计算机与互联网- 正文
☆☆☆☆☆
||
邓米克,邵学才 著
出版社: 清华大学出版社 ISBN:9787302361602 版次:1 商品编码:11548376 品牌:清华大学 包装:平装 丛书名: 21世纪高等学校规划教材·计算机科学与技术 开本:16开 出版时间:2014-08-01 用纸:胶版纸 页数:280 正文语种:中文
《离散数学/21世纪高等学校规划教材·计算机科学与技术》中内容包括集合论(集合、二元关系与函数)、组合计数初步、图论、数理逻辑(命题逻辑、谓词逻辑)、代数系统简介5个主要部分。在涵盖离散数学各方面内容的同时,提供多层次的精选例题,并给出多种解题思路与方法,意在提高学生的解题能力及技巧。
《离散数学/21世纪高等学校规划教材·计算机科学与技术》面向工程应用型大学的计算机专业师生,对考研复习也不失为很好的辅助资料。
1.1 集合的基本概念
1.1.1 集合的表示方法
1.1.2 子集
1.1.3 全集和补集
1.1.4 幂集
1.2 集合的基本运算
1.2.1 交和并
1.2.2 差和对称差
习题
第2章 二元关系与函数
2.1 二元关系的基本概念
2.1.1 引言
2.1.2 笛卡儿乘积与二元关系的定义
2.1.3 二元关系的3种表示方法
2.1.4 二元关系的基本类型
2.2 等价关系与偏序关系
2.2.1 等价关系与划分
2.2.2 偏序关系
2.3 复合关系与逆关系
2.3.1 复合关系
2.3.2 逆关系
2.3.3 关系的闭包运算
2.4 函数
2.4.1 函数的基本概念
2.4.2 特殊函数
2.4.3 复合函数与逆函数
习题
第3章 组合计数初步
3.1 容斥原理和鸽舍原理
3.1.1 容斥原理
3.1.2 鸽舍原理
3.2 递推关系
3.2.1 递推关系的基本概念
3.2 2齐次常系数线性递推关系
3.2.3 非齐次常系数线性递推关系
3.2.4 生成函数
习题
第4章 图论
4.1 图的基本概念
4.1.1 图的基本术语
4.1.2 图的矩阵表示
4.1.3 图中顶点的度数
4.1.4 子图与图的同构
4.1.5 完全图与补图
4.2 通路与赋权图的最短通路
4.2.1 通路与回路
4.2.2 图的连通性
4.2.3 赋权图的最短通路
4.3 树
4.3.1 无向树
4.3.2 有向树
4.3.3 前缀码与最优树
4.4 欧拉图与哈密顿图
4.4.1 欧拉图
4.4.2 哈密顿图
4.5 二部图和平面图
4.5.1 二部图
4.5.2 平面图
习题
第5章 命题逻辑
5.1 命题逻辑的基本概念
5.1.1 命题
5.1.2 命题联结词
5.1.3 命题公式
5.1.4 命题公式的真值表
5.1.5 永真式、永假式和可满足式
5.2 逻辑等价
5.2.1 逻辑等价
5.2.2 代换规则
5.2.3 对偶原理
5.2.4 联结词的完备集
5.3 范式和主范式
5.3.1 析取范式和合取范式
5.3.2 主析取范式和主合取范式
5.4 逻辑蕴涵
5.4.1 逻辑蕴涵的定义
5.4.2 逻辑蕴涵的性质
5.5 推理理论
5.5.1 前提和有效结论
5.5.2 直接证明法
5.5.3 间接证明法
习题
第6章 谓词逻辑
6.1 谓词逻辑的基本概念
6.1.1 个体词与谓词
6.1.2 量词
6.1.3 谓词公式
6.1.4 约束变元和自由变元
6.2 逻辑等价与逻辑蕴涵
6.2.1 永真式、永假式和可满足式
6.2.2 逻辑等价式和逻辑蕴涵式
6.2.3 前束范式
6.3 推理理论
习题
第7章 代数系统简介
7.1 代数系统的基本概念
7.1.1 代数系统的定义
7.1.2 特殊运算与特殊元素
7.1.3 同构
7.2 半群与独异点
7.2.1 半群与子半群
7.2.2 独异点与子独异点
7.3 群
7.3.1 群的定义和性质
7.3.2 子群
7.3.3 循环群
7.3.4 陪集和拉格朗日定理
7.3.5 群码
7.4 环和域
7.4.1 环
7.4.2 域
7.5 格
7.5.1 格的定义
7.5.2 格和偏序集
7.5.3 特殊格
习题
参考文献
离散数学/21世纪高等学校规划教材·计算机科学与技术 电子书 下载 mobi epub pdf txt
离散数学/21世纪高等学校规划教材·计算机科学与技术-so88
离散数学/21世纪高等学校规划教材·计算机科学与技术 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
邓米克,邵学才 著
出版社: 清华大学出版社 ISBN:9787302361602 版次:1 商品编码:11548376 品牌:清华大学 包装:平装 丛书名: 21世纪高等学校规划教材·计算机科学与技术 开本:16开 出版时间:2014-08-01 用纸:胶版纸 页数:280 正文语种:中文
内容简介
《离散数学/21世纪高等学校规划教材·计算机科学与技术》根据培养工程应用型人才的目标,以“淡化理论,加强应用”为指导思想,力图做到“宜教易学”。《离散数学/21世纪高等学校规划教材·计算机科学与技术》中内容包括集合论(集合、二元关系与函数)、组合计数初步、图论、数理逻辑(命题逻辑、谓词逻辑)、代数系统简介5个主要部分。在涵盖离散数学各方面内容的同时,提供多层次的精选例题,并给出多种解题思路与方法,意在提高学生的解题能力及技巧。
《离散数学/21世纪高等学校规划教材·计算机科学与技术》面向工程应用型大学的计算机专业师生,对考研复习也不失为很好的辅助资料。
目录
第1章 集合1.1 集合的基本概念
1.1.1 集合的表示方法
1.1.2 子集
1.1.3 全集和补集
1.1.4 幂集
1.2 集合的基本运算
1.2.1 交和并
1.2.2 差和对称差
习题
第2章 二元关系与函数
2.1 二元关系的基本概念
2.1.1 引言
2.1.2 笛卡儿乘积与二元关系的定义
2.1.3 二元关系的3种表示方法
2.1.4 二元关系的基本类型
2.2 等价关系与偏序关系
2.2.1 等价关系与划分
2.2.2 偏序关系
2.3 复合关系与逆关系
2.3.1 复合关系
2.3.2 逆关系
2.3.3 关系的闭包运算
2.4 函数
2.4.1 函数的基本概念
2.4.2 特殊函数
2.4.3 复合函数与逆函数
习题
第3章 组合计数初步
3.1 容斥原理和鸽舍原理
3.1.1 容斥原理
3.1.2 鸽舍原理
3.2 递推关系
3.2.1 递推关系的基本概念
3.2 2齐次常系数线性递推关系
3.2.3 非齐次常系数线性递推关系
3.2.4 生成函数
习题
第4章 图论
4.1 图的基本概念
4.1.1 图的基本术语
4.1.2 图的矩阵表示
4.1.3 图中顶点的度数
4.1.4 子图与图的同构
4.1.5 完全图与补图
4.2 通路与赋权图的最短通路
4.2.1 通路与回路
4.2.2 图的连通性
4.2.3 赋权图的最短通路
4.3 树
4.3.1 无向树
4.3.2 有向树
4.3.3 前缀码与最优树
4.4 欧拉图与哈密顿图
4.4.1 欧拉图
4.4.2 哈密顿图
4.5 二部图和平面图
4.5.1 二部图
4.5.2 平面图
习题
第5章 命题逻辑
5.1 命题逻辑的基本概念
5.1.1 命题
5.1.2 命题联结词
5.1.3 命题公式
5.1.4 命题公式的真值表
5.1.5 永真式、永假式和可满足式
5.2 逻辑等价
5.2.1 逻辑等价
5.2.2 代换规则
5.2.3 对偶原理
5.2.4 联结词的完备集
5.3 范式和主范式
5.3.1 析取范式和合取范式
5.3.2 主析取范式和主合取范式
5.4 逻辑蕴涵
5.4.1 逻辑蕴涵的定义
5.4.2 逻辑蕴涵的性质
5.5 推理理论
5.5.1 前提和有效结论
5.5.2 直接证明法
5.5.3 间接证明法
习题
第6章 谓词逻辑
6.1 谓词逻辑的基本概念
6.1.1 个体词与谓词
6.1.2 量词
6.1.3 谓词公式
6.1.4 约束变元和自由变元
6.2 逻辑等价与逻辑蕴涵
6.2.1 永真式、永假式和可满足式
6.2.2 逻辑等价式和逻辑蕴涵式
6.2.3 前束范式
6.3 推理理论
习题
第7章 代数系统简介
7.1 代数系统的基本概念
7.1.1 代数系统的定义
7.1.2 特殊运算与特殊元素
7.1.3 同构
7.2 半群与独异点
7.2.1 半群与子半群
7.2.2 独异点与子独异点
7.3 群
7.3.1 群的定义和性质
7.3.2 子群
7.3.3 循环群
7.3.4 陪集和拉格朗日定理
7.3.5 群码
7.4 环和域
7.4.1 环
7.4.2 域
7.5 格
7.5.1 格的定义
7.5.2 格和偏序集
7.5.3 特殊格
习题
参考文献
前言/序言
离散数学/21世纪高等学校规划教材·计算机科学与技术 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 物理的故事 9787030537478 杨天林-RT
- 听爸爸讲国学故事(附光盘)
- BF-探求万物之理-混沌.夸克与拉普拉斯妖-(美)牛顿,李香莲 上海科技教育出版社 978
- 黄帝内经 ( 珍藏版 文白对照 全套6册精装)皇帝内经全集 中医养生,书,,
- 九型人格(越简单越实用)
- 排毒养瘦.这样吃就对了 家庭保健饮食营养减肥瘦身食谱 老人女人排毒养颜美容养生保健瘦身书
- 人体的奥秘
- 这样喝养生(大字版) 湖北新华书店
- 文化伟人代表作图释书系:相对论 有效颠覆人类时空观与宇宙观的创世之书 阿尔伯特·爱因斯坦CQ
- 快乐怀孕优生百科(精美双色版)
- 环境中的钒-化学及生物化学
- 生殖热点问题面对面系列丛书:所有夫妻都想避免的尴尬(告别不育)
- 费加尔气得冒烟了
- 正版 中国居民食物营养速查大全 食疗养生书籍 中国居民膳食指南手册 养身书籍大全 保健食谱
- 科学与未来丛书(第2辑):长鼻子的植物