离散数学

首页 > 图书 > 科技/2020-07-24 / 加入收藏 / 阅读 [打印]
离散数学

离散数学

作者:郝林

开 本:16开

书号ISBN:9787030343444

定价:45.0

出版时间:2012-05-01

出版社:科学出版社

离散数学 内容简介

     离散数学是计算机科学的核心课程。郝林等编著的《离散数学》共分4 篇8章,分别介绍数理逻辑、集合论、图论和代数系统四个专题。内容体系严谨,叙述深入浅出,证明推演详尽。在每一专题后,给出相关知识的应用实例,并且在每一章后配有相当数量的习题。为便于学习,本书配有多媒体课件及习题解答。 《离散数学》可作为高等院校计算机科学与技术专业及软件工程专业的教材,也可作为其他相关专业的教学用书,并可供计算机科研和工程技术人员参考。

离散数学 目录

前言
**篇  数理逻辑
 第1章  命题逻辑
   1.1  命题及命题联结词
   1.2  命题公式及其类型
   1.3  等价式与蕴涵式
   1.4  对偶与范式
   1.5  推理与证明
   1.6  命题逻辑的应用
   小结
   习题一
 第2章  谓词逻辑
   2.1  谓词逻辑基本概念
   2.2  谓词公式及命题符号化
   2.3  变元的约束 离散数学

自然科学 数学 代数数论组合理论

在线阅读