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

离散数学(21世纪高等学校计算机基础实用系列教材)

  • 字数: 487
  • 出版社: 清华大学
  • 作者: 编者:黄健//曹宏举//郭巧丽|
  • 商品条码: 9787302661979
  • 版次: 1
  • 开本: 16开
  • 页数: 308
  • 出版年份: 2024
  • 印次: 1
定价:¥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.2 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 2.3 谓词公式 习题2.3 2.4 自由变元与约束变元 习题2.4 2.5 谓词公式的等价式与蕴涵式 习题2.5 2.6 谓词逻辑的推理理论 习题2.6 第2篇 集合论 第3章 集合 3.1 集合的基本概念 习题3.1 3.2 集合的运算 习题3.2 3.3 包含排斥原理 习题3.3 3.4 自然数与数学归纳法 习题3.4 3.5 笛卡儿乘积 习题3.5

蜀ICP备2024047804号

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