编著还有:李俊韬、谭加博、申贵成

副标题:无

作   者:郭键[等]编著

分类号:O158

ISBN:9787512303539

微信扫一扫,移动浏览光盘

简介

   本书共分为5篇:集合论、图论、数理逻辑、代数结构及综合应用。集   合论部分介绍了集合、关系、函数等;图论部分介绍了图的基本概念及特   殊图;数理逻辑包括命题逻辑和谓词逻辑;代数系统介绍了群、环、域等   ;最后详细介绍了这四部分在计算机中的实际应用。本书在编写过程中,   尽量将离散数学的各个部分有机地结合起来,力求条理清楚、深入浅出,   通过该课程的学习,可使读者掌握必备的离散数学知识,并提高其利用离   散数学知识分析和解决实际问题的能力。    本书可作为高等院校计算机科学技术等相关专业的本科生和研究生的   教学用书,也可作为计算机工程技术和研究人员学习离散数学的参考用书   。   

目录

  前言
  第1篇 集合论
  第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.2.4 集合的对称差运算
   1.2.5 集合的广义交和广义并运算
   1.3 有限集合的计数
   1.3.1 鸽巢原理
   1.3.2 包容排斥原理
   1.4 集合的运算定律
   思考与练习题
  第2章 关系
   2.1 笛卡尔积概念
   2.1.1 序偶
   2.1.2 笛卡尔积
   2.2 二元关系及其表示方法
   2.2.1 二元关系的定义
   2.2.2 二元关系的表示方法
   2.3 二元关系的运算
   2.3.1 关系的基本运算
   2.3.2 关系的复合运算
   2.3.3 关系的幂运算
   2.3.4 关系的逆运算
   2.3.5 关系的限制和像
   2.4 二元关系的性质
   2.4.1 自反性与反自反性
   2.4.2 对称性、反对称性、非对称性
   2.4.3 传递性
   2.4.4 关系性质的保持性
   2.5 二元关系的闭包
   2.5.1 关系闭包定义
   2.5.2 关系闭包涉及的定理
   2.5.3 关系闭包的求解方法总结
   2.6 等价关系
   2.6.1 等价关系定义
   2.6.2 等价类与商集
   2.6.3 等价类与划分
   2.7 相容关系与覆盖
   2.7.1 相容关系与覆盖的定义
   2.7.2 最大相容类
   2.8 序关系
   2.8.1 偏序关系
   2.8.2 全序关系与良序关系
   2.8.3 拟序关系
   思考与练习题
  第3章 函数
   3.1 函数的基本概念
   3.1.1 函数的引入
   3.1.2 函数的定义及特点
   3.2 特殊函数
   3.2.1 单射、满射与双射
   3.2.2 常用函数
   3.3 函数的运算
   3.3.1 函数的复合运算
   3.3.2 函数的逆运算
   3.4 集合的基数
   3.4.1 基数的定义
   3.4.2 丁数集的定义及性质
   3.4.3 集合基数的比较
   思考与练习题
   ……
  第2篇 图论
  第4章 图的基本概念
  第5章 特殊图
  第6章 无向树
  第7章 有向树
  第3篇 数理逻辑
  第8章 命题逻辑
  第9章 谓词逻辑
  第4篇 代数结构
  第10章 群
  第11章 环与理想
  第12章 域
  第5篇 综合应用
  第13章 数理逻辑的应用实例
  第14章 关系的应用实例
  第15章 图论的应用实例
  第16章 有限自动机与语言
  参考文献
  

已确认勘误

次印刷

页码 勘误内容 提交人 修订印次

编著还有:李俊韬、谭加博、申贵成
    • 名称
    • 类型
    • 大小

    光盘服务联系方式: 020-38250260    客服QQ:4006604884

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon