离散数学学习指导(21世纪高等学校计算机教育实用规划教材)

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 离散数学学习指导(21世纪高等学校计算机教育实用规划教材)

  • 版 次:1
  • 页 数:
  • 字 数:
  • 印刷时间:2013年07月01日
  • 开 本:16开
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787302305781
  • 丛书名:21世纪高等学校计算机教育实用规划教材
作者:孙道德 等编著出版社:清华大学出版社出版时间:2013年07月 
内容简介

  《21世纪高等学校计算机教育实用规划教材:离散数学学习指导》是与孙道德等编著的《离散数学》配套的辅导教材,内容涵盖学习内容概要和学习指导以及书中全部习题解答。共分4篇,依次为:数理逻辑,集合论,代数系统和图论。九章:命题逻辑,一阶谓词逻辑,集合及其运算,二元关系,函数,代数结构,格与布尔代数,图论和特殊图形与算法等内容。
  《21世纪高等学校计算机教育实用规划教材:离散数学学习指导》重视离散数学的趣味性和时代性,紧密联系应用领域,引进了大量的近期成果和实践案例,以利于激发读者学习离散数学的兴趣,使读者更快更好地学习、领会离散数学的理论与方法。
  《21世纪高等学校计算机教育实用规划教材:离散数学学习指导》可作为高等院校理工科各专业的本科生教材或参考书,也可供有关人员参考。

目  录
第1章 命题逻辑
1.1 命题、逻辑联结词
1.2 命题公式与真值函数
1.3 命题公式的等价与蕴涵
1.4 命题逻辑的推理理论
1.5 对偶与范式
1.6 其他逻辑联结词
1.7 逻辑联结词的功能完备集
习题解答
第2章 一阶谓词逻辑
2.1 基本概念
2.2 谓词合式公式与客体变元的约束
2.3 谓词公式的等价与蕴涵
2.4 谓词逻辑的推理理论

 离散数学学习指导(21世纪高等学校计算机教育实用规划教材)下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017