您好,欢迎来到聚文网。 登录 免费注册
离散数学(普通高等学校十五五规划新形态一体化教材)

离散数学(普通高等学校十五五规划新形态一体化教材)

  • 字数: 430
  • 出版社: 华中科技大学
  • 作者: 编者:程虹|
  • 商品条码: 9787577222455
  • 适读年龄: 12+
  • 版次: 1
  • 开本: 16开
  • 页数: 279
  • 出版年份: 2025
  • 印次: 1
定价:¥59.8 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书是在国家级一流本 科课程“离散数学”的基础上 ,结合卓越工程师教育培养 和新工科建设编写而成的。 编者根据多年的教学实践, 针对本科院校学生特色精心 编纂。全书共8章,分别介 绍离散数学的8大知识:命 题逻辑、谓词逻辑、集合、 关系、函数、代数系统、格 与布尔代数、图论。本书内 容丰富,体系严谨,讲解翔 实,例题生动有趣,应用举 例多,注重知识点在计算机 科学与技术中的实际应用, 配有《离散数学习题集》、 SPOC视频、PPT课件、线上 学习平台等多种教学资源。 本书可作为高等院校计 算机科学与技术、软件工程 、物联网工程、人工智能等 相关专业的离散数学课程教 材,也可供相关的教学科研 人员与工程技术人员参考使 用。
目录
绪论 第1章 命题逻辑 1.1 命题及其表示 1.1.1 命题 1.1.2 命题的分类 1.1.3 命题标识符 习题1.1 1.2 常用逻辑联结词 1.2.1 否定联结词 1.2.2 合取联结词 1.2.3 析取联结词 1.2.4 条件/蕴涵联结词 1.2.5 双条件联结词 习题1.2 1.3 命题公式与命题的符号化 1.3.1 命题公式 1.3.2 命题的符号化 习题1.3 1.4 真值表与等价公式 1.4.1 真值表 1.4.2 等价公式 习题1.4 1.5 命题公式的分类与蕴涵式 1.5.1 命题公式的分类 1.5.2 重言式与矛盾式的性质 1.5.3 蕴涵式 习题1.5 1.6 其他逻辑联结词和最小功能完备联结词组 1.6.1 其他逻辑联结词 1.6.2 最小功能完备联结词组 习题1.6 1.7 对偶与范式 1.7.1 对偶 1.7.2 范式 1.7.3 主范式 习题1.7 1.8 命题逻辑的推理理论 1.8.1 直接证明法 1.8.2 间接证明法 习题1.8 本章解析 第2章 谓词逻辑 2.1 谓词的基本定义 2.1.1 个体和谓词 2.1.2 量词 习题2.1 2.2 谓词公式及其翻译 2.2.1 谓词公式 2.2.2 谓词公式的翻译 习题2.2

蜀ICP备2024047804号

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