同构
正版新书 新华官方库房直发 可开电子发票
￥ 56.07 6.3折 ￥ 89 全新
库存34件
作者编者:刘新宇|责编:李永泉
出版社机械工业出版社
ISBN9787111725640
出版时间2023-06
版次1
装帧平装
开本32开
纸张胶版纸
页数616页
字数453千字
定价89元
货号SC:9787111725640
上书时间2024-10-31
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
刘新宇 亚马逊中国研发中心研发经理，负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法，著有《算法新解》一书（2017年出版）。
内容简介:
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不接近性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
目录:
推荐序
前言
第1章数字1
1.1数的诞生1
1.2皮亚诺自然数公理2
1.3自然数和计算机程序4
1.4自然数的结构6
1.5自然数的同构10
1.6形式与结构14
第2章递归16
2.1万物皆数16
2.2欧几里得算法18
2.2.1欧几里得和《几何原本》19
2.2.2欧几里得算法概述19
2.2.3扩展欧几里得算法22
2.2.4欧几里得算法的意义26
2.3λ演算28
2.3.1表达式化简30
2.3.2λ抽象31
2.3.3λ变换规则31
2.4递归的定义35
2.5λ演算的意义36
2.6更多的递归结构38
2.7递归的形式与结构39
2.8附录：倒水趣题完整程序42
第3章对称43
3.1什么是对称43
3.2群46
3.2.1群的定义50
3.2.2幺半群与半群52
3.2.3群的性质55
3.2.4置换群58
3.2.5群与对称61
3.2.6旋转对称与循环群62
3.2.7分圆方程65
3.2.8子群66
3.2.9拉格朗日定理72
3.3环与域82
3.3.1环的定义84
3.3.2除环和域86
3.4伽罗瓦理论87
3.4.1扩域87
3.4.2从牛顿、拉格朗日到伽罗瓦89
3.4.3自同构和伽罗瓦群95
3.4.4伽罗瓦基本定理
...
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价