您好,欢迎来到聚文网。 登录 免费注册
离散数学(高等院校计算机应用系列教材)

离散数学(高等院校计算机应用系列教材)

  • 字数: 325
  • 出版社: 清华大学
  • 作者: 编者:薛占熬//张艳娜|
  • 商品条码: 9787302651581
  • 版次: 1
  • 开本: 16开
  • 页数: 196
  • 出版年份: 2024
  • 印次: 1
定价:¥59.8 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
离散数学是计算机科学 的理论基础,是计算机学科 的核心课程,主要包括数理 逻辑、集合论、代数结构和 图论等四个部分。本书分为 7章,分别介绍离散数学的 命题逻辑、谓词逻辑、集合 、关系、函数、图论和特殊 图等的基本概念、基本理论 和基本方法,并给出大量例 题的讲解和练习的实操,有 助于提高读者的概括抽象能 力、逻辑思维能力、归纳构 造能力和问题分析能力,从 而培养读者严谨、完整、规 范的科学态度。 本书内容阐述上力求严 谨、翔实,论述严格,语言 精练,通俗易懂,可以作为 普通高等学校计算机类、电 子信息类专业“离散数学”课 程的教材,也可以供从事相 关工作的人员参考。
目录
第1章 命题逻辑 1.1 命题符号化和联结词 1.1.1 否定 1.1.2 合取 1.1.3 析取 1.1.4 条件 1.1.5 双条件 习题1-1 1.2 命题公式及等价公式 1.2.1 命题公式的概念 1.2.2 命题定律 1.2.3 等价置换 1.2.4 基本等价命题公式 习题1-2 1.3 重言式和蕴含式 1.3.1 重言式 1.3.2 蕴含式 1.3.3 蕴含的性质 习题1-3 1.4 其他联结词与最小联结词组 1.4.1 其他联结词 1.4.2 最小联结词组 习题1-4 1.5 对偶式与范式 1.5.1 对偶式 1.5.2 范式 习题1-5 1.6 命题逻辑推理理论 1.6.1 真值表法 1.6.2 直接证法 1.6.3 不相容 1.6.4 CP规则 习题1-6 1.7 命题逻辑的应用 1.7.1 电路设计 1.7.2 数学建模 1.7.3 算法代码 习题1-7 第2章 谓词逻辑 2.1 谓词与量词 2.1.1 谓词 2.1.2 量词 习题2-1 2.2 谓词合式公式 习题2-2 2.3 约束变元与自由变元 2.3.1 换名规则 2.3.2 代入规则 习题2-3 2.4 谓词公式的等价式与蕴含式

蜀ICP备2024047804号

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