离散数学及算法

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 离散数学及算法

  • 版 次:1
  • 页 数:
  • 字 数:
  • 印刷时间:2007年08月01日
  • 开 本:
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787111218760
  • 丛书名:国家示范性软件学院系列教材
作者:曹晓东 等编著出版社:机械工业出版社出版时间:2007年08月 
内容简介
本书主要介绍离散数学的基本理论及算法实现,分为两大部分,第一部分介绍计算机科学中广泛应用的离散结构基本概念和基本原理,包括以下内容:数理逻辑、集合论、二元关系、函数、代数系统和图论。第二部分给出了与各章内容密切相关的算法和程序,使理论在计算机上得到具体实现。附录部分给出了近年来考研试题的分析。
本书条理清晰,阐述深入浅出,适合作为高等学校计算机及相关专业离散数学课程的本科生教材,也可供计算机科学工作者和科技人员阅读与参考。
目  录
前言
第一篇 计算机科学中的离散结构
 第1章 命题逻辑
  1.1 引言
  1.2 命题及命题逻辑联结词
   1.2.1 命题
   1.2.2 逻辑联结词
  1.3 命题变元和合式的公式
  1.4 重言式(或永真式)和永真蕴涵式
   1.4.1 有关重言式的讨论
   1.4.2 重言式与恒等式
   1.4.3 永真蕴涵式的定义和常用永真蕴涵式
   1.4.4 代入规则和替换规则
  1.5 对偶原理

 离散数学及算法下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017