|
000
|
01403nam0 22002771 450
|
|
001
|
0120210524
|
|
005
|
20240920210524.0
|
|
010
|
|
@a978-7-111-72564-0@dCNY89.00
|
|
100
|
|
@a20230621d2023 em y0chiy0121 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a同构@Atong gou@e编程中的数学@d= Isomorphism@emathematics in programming@f刘新宇编著@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2023.06
|
|
215
|
|
@aX, 298页@c图@d26cm
|
|
314
|
|
@a刘新宇, 亚马逊中国研发中心研发经理, 负责分布式仓储物流系统的开发。
|
|
320
|
|
@a有书目 (第296-298页)
|
|
330
|
|
@a本书从七个方面介绍了计算机程序的数学基础和原理, 并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是: 数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。第2章介绍递归。第3章通过对称介绍群、环、域等抽象代数结构, 并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。第6章介绍无穷。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。
|
|
510
|
1
|
@aIsomorphism@emathematics in programming@zeng
|
|
517
|
1
|
@a编程中的数学@Abian cheng zhong de shu xue
|
|
606
|
0
|
@a程序设计@Acheng xu she ji@x数学基础
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@a刘新宇@Aliu xin yu@4编著
|
|
801
|
0
|
@aCN@b人天书店@c20230621
|
|
905
|
|
@aCKNYKJZYXY@b300706432-3@dTP311.1@e705@f2
|
|
|
|
|
| |
| 同构：编程中的数学= Isomorphism：mathematics in programming/刘新宇编著.-北京：机械工业出版社，2023.06 |
| X, 298页：图；26cm |
| |
| |
| ISBN 978-7-111-72564-0：CNY89.00 |
| 本书从七个方面介绍了计算机程序的数学基础和原理, 并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是: 数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。第2章介绍递归。第3章通过对称介绍群、环、域等抽象代数结构, 并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。第6章介绍无穷。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。 |
| ● |
正题名：同构
索取号：TP311.1/705
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
706432
|
300706432
|
柳城-4楼/61架9列6层/
[索取号:TP311.1/705]
|
在馆
|
|
|
2
|
706433
|
300706433
|
柳城-4楼/61架9列6层/
[索取号:TP311.1/705]
|
在馆
|
|
