您好,欢迎来到聚文网。 登录 免费注册
离散数学(高等院校信息技术规划教材)

离散数学(高等院校信息技术规划教材)

  • 字数: 320
  • 出版社: 清华大学
  • 作者: 编者:王卫红//李曲//郑宇军//沈瑛//张永良|
  • 商品条码: 9787302335238
  • 适读年龄: 12+
  • 版次: 1
  • 开本: 16开
  • 页数: 211
  • 出版年份: 2013
  • 印次: 11
定价:¥50 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书系统地介绍了计算 机科学与技术等相关专业所 必需的离散数学知识。全书 共8章。第l章介绍命题及命 题逻辑,第2章介绍谓词逻 辑及其推理理论,第3章介 绍集合与关系的基本概念和 性质,第4章介绍函数,第5 章介绍代数系统,第6章介 绍格与布尔代数,第7章介 绍图论的基本概念及其性质 ,第8章介绍离散数学在计 算机科学中的一些具体应用 。 本书适合作为高等学校 计算机专业及相关专业的本 科生教材,也可以供对离散 数学有兴趣的读者自学。
目录
第1章 命题逻辑 1.1 命题及联结词 1.1.1 命题的概念 1.1.2 原子命题和复合命题 1.1.3 联结词 1.2 命题的合式公式和翻译 1.2.1 命题公式 1.2.2 命题公式的翻译 1.2.3 真值表 1.3 公式的等价和蕴含 1.3.1 永真式、永假式和可满足式 1.3.2 等价式和常用的等价式 1.4 全功能联结词集合 1.5 对偶与范式 1.5.1 对偶定义 1.5.2 对偶定理 1.5.3 析取范式和合取范式 1.5.4 主析取范式和主合取范式 1.6 推理理论 1.6.1 蕴含式 1.6.2 有效结论 1.6.3 证明方法 本章小结 习题 第2章 谓词逻辑 2.1 谓词的概念与表示 2.1.1 谓词 2.1.2 命题函数 2.1.3 量词 2.2 谓词公式与翻译 2.2.1 谓词的合式公式 2.2.2 谓词的翻译 2.2.3 自由变元和约束变元 2.3 谓词演算的等价式和蕴含式 2.4 前束范式 2.5 谓词演算的推理理论 本章小结 习题 第3章 集合与关系 3.1 集合的概念和表示 3.1.1 集合与元素 3.1.2 集合的表示 3.1.3 集合与集合的关系 3.2 集合的运算 3.2.1 交运算 3.2.2 并运算 3.2.3 相对补与绝对补 3.2.4 对称差一 3.2.5 集合运算中的恒等式 3.2.6 包含排斥原理

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网