您好,欢迎来到聚文网。 登录 免费注册
离散数学

离散数学

  • 字数: 273000
  • 装帧: 平装
  • 出版社: 清华大学出版社
  • 出版日期: 2024-03-01
  • 商品条码: 9787302653547
  • 版次: 1
  • 开本: 16开
  • 页数: 184
  • 出版年份: 2024
定价:¥49 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书系统介绍了离散数学的基本概念、基本定理、运算规律及离散数学在计算机科学与技术中的应用,全书共6章,主要内容包括命题逻辑、谓词逻辑、集合及其运算、关系、函数和图论。每章均附有精选习题。本书在内容安排上循序渐进,概念闸述严谨,证明推演详尽,实例说明清楚。
本书立求将理论与应用相结合,适合作为普通高等院校计算机专业本科生的教材,也可供从事计算机软件开发和应用的人员参考使用。
均附有精选习题。本书在内容安排上循序渐进,概念阐述严谨,证明推演详尽,实例说明清楚。《离散数学》立求将理论与应用相结合,适合作为普通高等院校计算机专业本科生的教材,也可供从事计算机软件开发和应用的人员参考使用。
目录
第1章命题逻辑
1.1命题与命题联结词
1.1.1命题
1.1.2命题联结词
1.2命题公式与分类
1.2.1命题公式
1.2.2公式的赋值与分类
1.3等值演算
1.3.1基本等值式
1.3.2命题公式的等值演算
1.4对偶与范式
1.4.1对偶
1.4.2析取范式与合取范式
1.4.3主范式
1.4.4主范式的应用
1.5推理理论
1.5.1命题的蕴涵关系
1.5.2构造推理的形式证明
1.5.3推理规则
1.6例题解析
本章小结
习题
……

蜀ICP备2024047804号

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