离散数学

首页 > 图书 > 人文社科类图书/2020-06-21 / 加入收藏 / 阅读 [打印]
离散数学

离散数学

作者:冯伟森,栾新成,石兵 等编著

开 本:其它

书号ISBN:9787111331834

定价:30.0

出版时间:2011-03-01

出版社:机械工业出版社

离散数学 内容简介

  “离散数学”是现代数学的一个重要分支,也是计算机科学与技术、电子信息技术、生物技术等专业的理论基础。本书由六部分组成,首先将离散数学的体系结构分为以下五个主要部分:数理逻辑、集合与关系、数论与组合论、图论、代数结构,第六部分介绍离散数学在计算机科学中的一些典型应用。  本书在每章后面配备了相当数量的难易程度不同的练习题,并在附录中给出了几套模拟试题,供读者进行自测。  本书内容丰富,条理清晰,层次分明,逻辑性强,阐述深入浅出,适合作为高?院校计算机和软件工程专业及相关专业离散数学课程的本科生教材,也可供计算机科学工作者和科技人员阅读与参考。

离散数学 目录

前言
**部分 数理逻辑
 第1章 命题逻辑
  1.1 命题与逻辑联结词
  1.2 命题公式及其赋值
  1.3 命题公式的等价
  1.4 联结词的完备集
  1.5 命题公式的范式表示
  1.6 命题公式的蕴涵
  1.7 命题逻辑的推理方法
  习题一
 第2章 一阶谓词逻辑
  2.1 量词化逻辑
  2.2 谓词公式及其赋值
? 2.3 谓词公式的等价与范式表示 离散数学

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

在线阅读

  • 最新内容
  • 相关内容
  • 网友推荐
  • 图文推荐
上一篇:大学物理学-上册     下一篇:物理化学实验