帝国软件 首页 > 图书 > 科技 > 正文 返回 打印

离散数学

  2020-07-24 00:00:00  

离散数学 内容简介

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

离散数学 目录

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

http://book.00-edu.com/tushu/kj1/202007/2633402.html