您好,欢迎来到聚文网。 登录 免费注册
离散数学

离散数学

  • 字数: 311000
  • 装帧: 平装
  • 出版社: 科学出版社
  • 出版日期: 2022-03-01
  • 商品条码: 9787030709981
  • 版次: 1
  • 开本: 16开
  • 页数: 212
  • 出版年份: 2022
定价:¥40 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书是根据教育部高等学校计算机科学与技术教学指导委员会提出的《计算机科学与技术专业规范》的教学要求,对离散数学的内容进行选取和更新后编写的一本面向一流课程建设的教材.本书分为数理逻辑、集合论、图论、代数系统四篇。每一篇的结构均为知识背景、主要知识内容、章节总结、课后习题、课后阅读——知识的应用.知识背景简单介绍知识的起源;主要知识内容既有严谨系统的理论阐述,也有丰富的计算机科学技术发展的应用实例;章节总结归纳本章学习的知识点及学习要求;课后习题为广大学习者提供加深理解、巩固知识的训练;课后阅读旨在拓宽学习者的学习视野.各章节内容按模块化组织,既相互独立,又有联系,从而可适应不同的教学要求.本书既可作为普通高等学校计算机科学与技术专业及其相关专业的本科生的离散数学教材,也可作为相关科技人员的阅读参考用书.
目录
第1篇数理逻辑
第1章命题逻辑
1.1命题与联结词
1.2命题变元与合式公式
1.3公式分类与等价公式
1.4对偶式与蕴涵式
1.5联结词的扩充与功能接近组
1.6公式标准型——范式
1.7公式的主范式
1.8命题逻辑的推理理论
总结
习题1
第2章谓词逻辑
2.1个体、谓词与量词
2.2谓词公式与翻译
2.3约束变元与自由变元
2.4公式解释与公式类型
2.5等价式与蕴涵式
2.6谓词公式范式
2.7谓词逻辑的推理理论
总结
习题2
课后阅读:数理逻辑的应用
第2篇集合论
第3章集合论基础
3.1集合的有关概念
3.2集合的运算及其性质
3.3集合的计数
3.4整除
3.5布尔矩阵
总结
习题3
第4章二元关系
4.1集合的笛卡儿积与无序积
4.2二元关系概述
4.3关系运算
4.4特殊关系
总结
习题4
第5章函数
5.1函数的基本概念
5.2函数的类型
5.3函数的运算
5.4基数
总结
习题5
课后阅读:集合与关系在计算机科学中的应用
第3篇图论
第6章图论基础
6.1图的基本概念
6.2路与回路
6.3图的连通性
6.4图的矩阵表示
总结
习题6
第7章特殊图
7.1欧拉图
7.2哈密顿图
7.3二部图
7.4平面图
7.5无向树与生成树
7.6根树及其应用
总结
习题7
课后阅读:计算机鼓轮设计问题
第4篇代数系统
第8章代数系统基础
8.1代数系统的概念
8.2代数系统的运算及其性质
8.3半群与含幺半群
8.4群与子群
8.5交换群、循环群及置换群
8.6陪集与拉格朗日定理
8.7同态与同构
8.8环与域
总结
习题8
第9章格与布尔代数
9.1格
9.2分配格
9.3有补格
9.4布尔代数与布尔表达式
总结
习题9
课后阅读:代数系统在计算机科学中的应用
参考文献

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网