离散数学及其应用

离散数学及其应用
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: , ,
2017-09
版次: 1
ISBN: 9787568026918
定价: 28.80
装帧: 其他
开本: 16开
纸张: 胶版纸
页数: 182页
字数: 289千字
34人买过
  • 全书系统地介绍了离散数学的四个部分共8章组成,其中第1~3章为集合论、第4~5章为数理逻辑、第6~7章为图论、第8章为代数系统。各章分别介绍了离散数学的核心知识单元:集合、关系、函数、命题逻辑、谓词逻辑、图、特殊图、代数系统中的群、环、域、格等,并且介绍了每章离散数学的知识单元在计算机与软件系统中的应用,以及给出相关历史背景发展的介绍,在各章之后配有适当难度的习题,便于学生在学完本章内容之后进行课后练习。本书可作为应用型高等院校的计算机、软件工程、物联网、信息管理等信息类学科专业离散数学教材,供不同层次的本、专科学生使用,也可以作为离散数学爱好者的自学参考书。 第1章  集 合

    1.1集合的基本概念

    1.1.1集合的定义

    1.1.2集合与元素的关系

    1.1.3集合与集合的关系

    1.1.4几种特殊集合

    1.1.5集合的基数

    1.2集合的运算

    1.2.1并运算

    1.2.2交运算

    1.2.3补运算

    1.2.4差运算

    1.2.5对称差运算

    1.2.6集合间的等值式

    1.3 有限集合中元素的计数

    1.3.1 文氏图法计数

    1.3.2  容斥原理

    1.4集合在信息学科中的应用

    本章总结

    习题  

    兴趣阅读

    第2章 关系

    2.1关系的概念

    2.1.1序偶

    2.1.2 笛卡尔积

    2.1.3关系的定义

    2.1.4 关系的定义域与值域

    2.1.5关系的表示方法

    2.2 关系的运算 

    2.2.1关系的集合运算

    2.2.2关系的逆运算

    2.2.3关系的复合运算

    2.2.4关系的幂运算

    2.3 关系的性质

    2.3.1自反性与反自反性

    2.3.2对称性与反对称性

    2.3.3传递性

    2.4关系的闭包

    2.5等价关系

    2.5.1等价关系的定义

    2.5.2 等价关系的划分

    2.6 偏序关系

    2.6.1 偏序的定义及表示

    2.6.2偏序关系的哈斯图

    2.6.3偏序关系的特殊元素

    2.6.4  全序和良序。

    2.7  关系的应用

    本章总结

    习题

    兴趣阅读

    第3章  函 数

    3.1函数的定义与类型

    3.1.1函数的定义

    3.1.2函数的类型

    3.2函数的运算

    3.2.1函数的复合运算

    3.2.2函数的逆运算

    3.3  函数的应用

    本章总结

    习题

    兴趣阅读

    第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.3.3  等值演算

    4.3.4  对偶式

    4.3.5  等值演算的应用

    4.4  范式

    4.4.1  析取范式和合取范式

    4.4.2  主析取范式与主合取范式

    4.4.3  主范式的应用

    4.5  推理理论

    4.5.1 命题的蕴含关系

    4.5.2 形式证明

    4.6命题逻辑的应用

    本章总结

    习题

    兴趣阅读

    第5章  谓词逻辑

    5.1谓词逻辑的基本概念

    5.1.1 个体词

    5.1.2  谓词

    5.1.3  量词

    5.1.4   命题符号化

    5.2  谓词公式与类型

    5.2.1  谓词公式

    5.2.2  谓词公式的解释

    5.2.3  谓词公式的类型

    5.3  谓词逻辑等值式

    5.3.1  基本等值式 

    5.3.2  基本规则 

    5.3.3  等值演算 

    5.4  谓词逻辑的前束范式

    5.5  谓词演算的推理规则

    5.5.1  推理定律 

    5.5.2  推理规则

    5.6 谓词逻辑的应用

    本章总结

    习题

    兴趣阅读

    第6章  图论

    6.1图的基本概念

    6.1.1图的定义

    6.1.2邻接与关联

    6.1.3顶点的度

    6.1.4图的分类

    6.1.5图的同构

    6.2图的连通性

    6.2.1通路与回路

    6.2.2无向图的连通性

    6.3 图的矩阵表示

    6.3.1图的关联矩阵

    6.3.2图的邻接矩阵

    6.3.3 图的可达矩阵

    6.4图的应用

    本章总结

    习题

    兴趣阅读

    第7章 特殊图

    7.1欧拉图

    7.2哈密顿图

    7.3 二部图

    7.4 树

    7.5特殊图的应用

    本章总结

    习题

    兴趣阅读

    第8章  代数系统

    8.1  代数系统的概念

    8.1.1 代数运算

    8.1.2 代数系统

    8.2   代数运算的性质

    8.2.1 基本性质

    8.2.2  特殊元素

    8.3  半群和群

    8.3.1  半群

    8.3.2  群

    8.3.3  特殊群

    8.4 环和域

    8.4.1  环

    8.4.2  域

    8.5  格与布尔代数

    8.5.1  格

    8.5.2  几种特殊格

    8.5.3  布尔代数

    8.6代数系统的应用 

    本章总结

    习题

    兴趣阅读

    参考文献

     
  • 内容简介:
    全书系统地介绍了离散数学的四个部分共8章组成,其中第1~3章为集合论、第4~5章为数理逻辑、第6~7章为图论、第8章为代数系统。各章分别介绍了离散数学的核心知识单元:集合、关系、函数、命题逻辑、谓词逻辑、图、特殊图、代数系统中的群、环、域、格等,并且介绍了每章离散数学的知识单元在计算机与软件系统中的应用,以及给出相关历史背景发展的介绍,在各章之后配有适当难度的习题,便于学生在学完本章内容之后进行课后练习。本书可作为应用型高等院校的计算机、软件工程、物联网、信息管理等信息类学科专业离散数学教材,供不同层次的本、专科学生使用,也可以作为离散数学爱好者的自学参考书。
  • 目录:
    第1章  集 合

    1.1集合的基本概念

    1.1.1集合的定义

    1.1.2集合与元素的关系

    1.1.3集合与集合的关系

    1.1.4几种特殊集合

    1.1.5集合的基数

    1.2集合的运算

    1.2.1并运算

    1.2.2交运算

    1.2.3补运算

    1.2.4差运算

    1.2.5对称差运算

    1.2.6集合间的等值式

    1.3 有限集合中元素的计数

    1.3.1 文氏图法计数

    1.3.2  容斥原理

    1.4集合在信息学科中的应用

    本章总结

    习题  

    兴趣阅读

    第2章 关系

    2.1关系的概念

    2.1.1序偶

    2.1.2 笛卡尔积

    2.1.3关系的定义

    2.1.4 关系的定义域与值域

    2.1.5关系的表示方法

    2.2 关系的运算 

    2.2.1关系的集合运算

    2.2.2关系的逆运算

    2.2.3关系的复合运算

    2.2.4关系的幂运算

    2.3 关系的性质

    2.3.1自反性与反自反性

    2.3.2对称性与反对称性

    2.3.3传递性

    2.4关系的闭包

    2.5等价关系

    2.5.1等价关系的定义

    2.5.2 等价关系的划分

    2.6 偏序关系

    2.6.1 偏序的定义及表示

    2.6.2偏序关系的哈斯图

    2.6.3偏序关系的特殊元素

    2.6.4  全序和良序。

    2.7  关系的应用

    本章总结

    习题

    兴趣阅读

    第3章  函 数

    3.1函数的定义与类型

    3.1.1函数的定义

    3.1.2函数的类型

    3.2函数的运算

    3.2.1函数的复合运算

    3.2.2函数的逆运算

    3.3  函数的应用

    本章总结

    习题

    兴趣阅读

    第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.3.3  等值演算

    4.3.4  对偶式

    4.3.5  等值演算的应用

    4.4  范式

    4.4.1  析取范式和合取范式

    4.4.2  主析取范式与主合取范式

    4.4.3  主范式的应用

    4.5  推理理论

    4.5.1 命题的蕴含关系

    4.5.2 形式证明

    4.6命题逻辑的应用

    本章总结

    习题

    兴趣阅读

    第5章  谓词逻辑

    5.1谓词逻辑的基本概念

    5.1.1 个体词

    5.1.2  谓词

    5.1.3  量词

    5.1.4   命题符号化

    5.2  谓词公式与类型

    5.2.1  谓词公式

    5.2.2  谓词公式的解释

    5.2.3  谓词公式的类型

    5.3  谓词逻辑等值式

    5.3.1  基本等值式 

    5.3.2  基本规则 

    5.3.3  等值演算 

    5.4  谓词逻辑的前束范式

    5.5  谓词演算的推理规则

    5.5.1  推理定律 

    5.5.2  推理规则

    5.6 谓词逻辑的应用

    本章总结

    习题

    兴趣阅读

    第6章  图论

    6.1图的基本概念

    6.1.1图的定义

    6.1.2邻接与关联

    6.1.3顶点的度

    6.1.4图的分类

    6.1.5图的同构

    6.2图的连通性

    6.2.1通路与回路

    6.2.2无向图的连通性

    6.3 图的矩阵表示

    6.3.1图的关联矩阵

    6.3.2图的邻接矩阵

    6.3.3 图的可达矩阵

    6.4图的应用

    本章总结

    习题

    兴趣阅读

    第7章 特殊图

    7.1欧拉图

    7.2哈密顿图

    7.3 二部图

    7.4 树

    7.5特殊图的应用

    本章总结

    习题

    兴趣阅读

    第8章  代数系统

    8.1  代数系统的概念

    8.1.1 代数运算

    8.1.2 代数系统

    8.2   代数运算的性质

    8.2.1 基本性质

    8.2.2  特殊元素

    8.3  半群和群

    8.3.1  半群

    8.3.2  群

    8.3.3  特殊群

    8.4 环和域

    8.4.1  环

    8.4.2  域

    8.5  格与布尔代数

    8.5.1  格

    8.5.2  几种特殊格

    8.5.3  布尔代数

    8.6代数系统的应用 

    本章总结

    习题

    兴趣阅读

    参考文献

     
查看详情
相关图书 / 更多
离散数学及其应用
离散数学题解与分析(第3版普通高等院校计算机类专业规划教材)/精品系列
刘任任 编者;责编:刘丽丽;徐盼欣
离散数学及其应用
离散数学简明教程(双语版)
作者
离散数学及其应用
离散数学
许薇;同军红;吴广裕
离散数学及其应用
离散优化简明教程
史永堂 主编;郭强辉 副主编;黄申为;雷
离散数学及其应用
离散数学
朱保平、金忠
离散数学及其应用
离散数学(第2版)
蔡之华
离散数学及其应用
离散与混杂控制的代数理论(英文版)
王勇;姜正涛;代桂
离散数学及其应用
离散数学(第3版) 大中专文科文教综合 屈婉玲 曹永知 耿素云 张立昂 新华正版
屈婉玲曹永知耿素云张立昂
离散数学及其应用
离散数学概论(第2版立体化新形态双色印刷面向新工科普通高等教育系列教材)
田秋红【等 编著
离散数学及其应用
离散数学(21世纪高等学校计算机基础实用系列教材)
黄健;曹宏举;郭巧丽
离散数学及其应用
离散数学(本科)(第3版)
胡俊,顾静相
离散数学及其应用
离散数学
张钦礼 薛瑞