您好,欢迎来到聚文网。 登录 免费注册
计算机科学中的数学(信息与智能时代的必修课)

计算机科学中的数学(信息与智能时代的必修课)

  • 字数: 1198
  • 出版社: 电子工业
  • 作者: (美)埃里克·雷曼//F.汤姆森·莱顿//艾伯特·R.迈耶|译者:唐李洋//刘杰//谭昶//金博
  • 商品条码: 9787121355332
  • 版次: 1
  • 开本: 16开
  • 页数: 808
  • 出版年份: 2019
  • 印次: 1
定价:¥168 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书原为麻省理工学院计算机科学与工程专业的 数学课程讲义,谷歌技术专家参与编写,涵盖计算机 科学涉及的全部基础数学知识,包括形式逻辑符号、 数学证明、归纳、集合与关系、图论基础、排列与组 合、计数原理、离散概率、递归等,特别强调数学定 义、证明及其应用方法。本书因具有系统、完整,以 及有趣、易读等明显优势,现已被全球IT技术相关从 业者及准从业者奉为圭臬、广泛传阅,在人工智能日 益普及的全新信息时代,更是大放异彩。 本书适合计算机相关专业学生及从业人员作为数 学入门教材,亦可作为统计、机器学习、数据挖掘等 课程的宝贵资料。
目录
第I部分 数学证明 引言 0.1 参考文献 第1章 什么是证明 1.1 命题 1.2 谓词 1.3 公理化方法 1.4 我们的公理 1.4.1 逻辑推理 1.4.2 证明的模式 1.5 证明蕴涵 1.5.1 方法#1 1.5.2 方法#2:证明逆反命题 1.6 证明“当且仅当” 1.6.1 方法#1:证明两个语句相互蕴涵 1.6.2 方法#2:构建iff链 1.7 案例证明法 1.8 反证法 1.9 数学证明的优秀实践 1.10 参考文献 1.1 节习题 1.5 节习题 1.7 节习题 1.8 节习题 第2章 良序原理 2.1 良序证明 2.2 良序证明模板 2.2.1 整数求和 2.3 质因数分解 2.4 良序集合 2.4.1 不一样的良序集合(选学) 2.2 节习题 2.4 节习题 第3章 逻辑公式 3.1 命题的命题 3.1.1 NOT,AND和OR 3.1.2 当且仅当 3.1.3 IMPLIES 3.2 计算机程序的命题逻辑 3.2.1 真值表计算 3.2.2 符号表示 3.3 等价性和有效性 3.3.1 蕴涵和逆否 3.3.2 永真性和可满足性 3.4 命题代数 3.4.1 命题范式 3.4.2 等价性证明 3.5 SAT问题 3.6 谓词公式 3.6.1 量词

蜀ICP备2024047804号

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