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

离散数学

  • 字数: 487000
  • 装帧: 平装
  • 出版社: 清华大学出版社
  • 作者: 黄健、曹宏举、郭巧丽
  • 出版日期: 2024-05-01
  • 商品条码: 9787302661979
  • 版次: 1
  • 开本: 16开
  • 页数: 320
  • 出版年份: 2024
定价:¥59.8 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
依照教育部2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》,在近20年的“离散数学讲义”基础上,精心整理,编撰成本书。在编写过程中,充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验,以增强本书的适用性。
本书分为数理逻辑、集合论、代数系统和图论4篇,内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数系统基础、群/环和域、格与布尔代数、图论基础、特殊图与应用共10章。各章的每节都配有习题,重要术语均有相应的英文表述。
本书可以作为计算机科学与技术、软件工程、网络工程、信息安全、物联网工程等相关专业的本科生教材,也可以作为从事计算机软件、硬件开发和应用的工程技术人员的参考书,还可供教师参考或自学者使用。
目录
第1篇 数理逻辑
第1章 命题逻辑
1.1 命题与逻辑联结词
1.1.1 命题逻辑的基本概念
1.1.2 逻辑联结词
习题1.1
1.2 命题公式与真值表
习题1.2
1.3 永真式与永式
习题1.3
1.4 代入规则与替换规则
习题1.4
1.5 等价与蕴
习题1.5
1.6 对偶原理
习题1.6
1.7 其他联结词
习题1.7
1.8 范式与范式判定问题
习题1.8
1.9 命题演算的推理理论
1.9.1 真值表法
1.9.2 直接证明法
1.9.3 反证法
习题1.9
第2章 谓词逻辑
2.1 谓词与个体
习题2.1
2.2 量词与全总个体域
习题2.2
……

蜀ICP备2024047804号

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