首页 > 图书中心 >图书详情

离散数学

提供PPT课件,本书中定义、原理论述详细,即注重对基本概念的论述,又注重原理的证明方法及其在计算机科学中的实际应用,每一章的后面都有对应这一章知识点的习题,便于更深入理解和巩固所学的知识理论基础,建议64学时左右。

作者:刘忠艳、高志军、王光辉、付喜辉
丛书名:21世纪高等学校系列教材·计算机科学与技术
定价:29
印次:1-7
ISBN:9787302441731
出版日期:2016.09.01
印刷日期:2022.01.04

本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细,通俗易懂,内容丰富,既注重对基本概念的论述,又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题,便于读者更深入理解和巩固所学的知识理论基础,在教授时建议64学时左右。 本书可以作为计算机及相关专业的本科生教材,也可以作为计算机相关资格水平考试的参考书,同时也可以为从事计算机软、硬件开发和应用的人员提供参考。

more >

前言 离散数学是现代数学的一个重要分支,也是计算机科学的理论基础,它以离散量为研究对象,研究各种各样的离散量的结构及其关系,这正与计算机所处理的对象相一致,因此成为计算机科学的基本工具。它的前导课程为“线性代数”,可以为后续课程,如“数据结构”、“数据库”、“信息科学”、“算法设计”等课程提供必要的数学基础。 在本书编写过程中,不但考虑了其与前导课程的关系,也考虑了其与后续课程的关系,注重理论与实践的结合。把理论应用于实际,解决实际问题,这是本书的一大特色。对于每一章的理论,都通过例题或习题应用于实际,解决了实际应用的问题。本书详细论述了相关概念及定理,对于大部分定理,都给出了证明推理,学生不仅要学会理解定理,更重要的是要学习数学思维,为今后的学习和研究打下坚实的数学基础。 本书主要包括数理逻辑、集合论、图论和代数系统四部分内容。第一部分数理逻辑由高志军编写,第二部分集合论由王光辉编写,第三部分图论由刘忠艳编写,第四部分代数系统由付喜辉编写。 本书既可作为计算机及相关专业的本科生教材,也可以作为计算机相关资格水平考试的参考书,同时也可作为从事计算机软件、硬件开发和应用人员的指导书。 由于作者水平有限,书中有不妥或疏漏之处在所难免,恳请读者们批评指正,多提出宝贵意见,便于今后改正。 编者 2016年3月

more >
扫描二维码
下载APP了解更多

同系列产品more >

计算机组成原理(第2版)

谷赫、邹凤华、李念峰、
定 价:59元

查看详情
XML基础教程(第二版)

靳新 主编 郑颖 于旭
定 价:49.80元

查看详情
C语言程序设计

李伟光、张勇、李倩
定 价:59元

查看详情
离散数学(第2版)

刘忠艳、付喜辉、刘金芳
定 价:49元

查看详情
数据结构与算法(C语言版)

霍利、董靓瑜、郑巍、李静
定 价:59元

查看详情
图书分类全部图书
more >
  • 本书不但考虑了与前导课程的关系,也考虑了与后续课程的关系。把理论应用于实际,解决实际问题,这是本书的一大特色。

    如果希望加入教师微信交流群,请加微信:itbook8

    如果希望加入教师QQ交流群,请加QQ:883604

    加入时,请写明:“学校+姓名”,并写明“加入教师群”,只限教师。


  • 本书不但考虑了与前导课程的关系,也考虑了与后续课程的关系。把理论应用于实际,解决实际问题,这是本书的一大特色。

more >
  • 目录

    第一部分数 理 逻 辑

    第1章命题逻辑

    1.1命题的基本概念

    1.1.1命题及分类

    1.1.2逻辑联结词

    1.2命题公式及类型

    1.2.1命题公式及赋值

    1.2.2命题公式类型与真值表

    1.3命题公式的等价演算

    1.3.1命题公式的等价式

    1.3.2命题公式的等价演算

    1.3.3等价演算的实例应用

    1.4命题公式的范式及应用

    1.4.1析取范式与合取范式

    1.4.2主析取范式与主合取范式

    1.4.3主范式的实例应用

    1.5全功能逻辑联结词组

    1.6命题公式的推理及证明

    1.6.1推理基本定义

    1.6.2推理的证明方法

    1.6.3推理演算的实例应用

    习题1

    第2章谓词逻辑

    2.1谓词逻辑基本概念

    2.1.1谓词逻辑三要素

    2.1.2多元谓词命题符号化

    2.2谓词公式及类型

    2.2.1谓词公式

    2.2.2谓词公式的类型

    2.3谓词公式的等价演算

    2.4谓词公式的前束范式

    2.5谓词公式的推理

    习题2

    第二部分集合论

    第3章集合

    3.1集合的基本概念

    3.1.1集合与元素的基本概念

    3.1.2集合与集合间的关系

    3.2集合的运算

    3.3集合中元素的计数

    习题3

    第4章二元关系与函数

    4.1集合的笛卡儿积

    4.2二元关系

    4.3关系的性质

    4.4关系的闭包

    4.5等价关系与划...

精彩书评more >

标题

评论

版权所有(C)2023 清华大学出版社有限公司 京ICP备10035462号 京公网安备11010802042911号

联系我们 | 网站地图 | 法律声明 | 友情链接 | 盗版举报 | 人才招聘