|
书名：
|
同构
|
|
|
作者：
|
刘新宇
编著
|
|
出版信息：
|
北京
机械工业出版社
2023.06
|
|
开本页数：
|
26cm
10,298页
|
|
丛书名：
|
|
|
单 册：
|
|
|
中图分类：
|
TP311.1
|
|
科图分类：
|
|
|
主题词：
|
程序设计--数学基础
|
|
电子资源：
|
|
|
ISBN：
|
978-7-111-72564-0
|
|
000
|
01372nam0 2200265 450
|
|
001
|
012023103771
|
|
005
|
20090101125818.0
|
|
010
|
|
@a978-7-111-72564-0@dCNY89.00
|
|
100
|
|
@a20230620d2023 em y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a同构@Atong gou@b专著@e编程中的数学@dIsomorphism@emathematics in programming@f刘新宇编著@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2023.06
|
|
215
|
|
@a10,298页@c图@d26cm
|
|
330
|
|
@a本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。第2章介绍递归。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。第6章介绍无穷。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。
|
|
333
|
|
@a本书可供计算机专业科研人员、软件工程师、从业者、编程爱好者学习了解编程的数学原理，也可供本科生、研究生作为参考书
|
|
510
|
1
|
@aIsomorphism@emathematics in programming@zeng
|
|
517
|
1
|
@a编程中的数学@Abian cheng zhong de shu xue
|
|
606
|
0
|
@a程序设计@x数学基础
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@a刘新宇@Aliu xin yu@4编著
|
|
801
|
0
|
@aCN@bZZJT@c20240729
|
|
905
|
|
@dTP311.1@e192@f3
|
|
|
|
|
| |
| 同构：编程中的数学=Isomorphism：mathematics in programming/刘新宇编著.-北京：机械工业出版社，2023.06 |
| 10,298页：图；26cm |
| 使用对象：本书可供计算机专业科研人员、软件工程师、从业者、编程爱好者学习了解编程的数学原理，也可供本科生、研究生作为参考书 |
| |
| ISBN 978-7-111-72564-0：CNY89.00 |
| 本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。第2章介绍递归。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。第6章介绍无穷。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。 |
| ● |
正题名：同构
索取号：TP311.1/192
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1378301
|
213783011
|
十四楼书库/
[索取号:TP311.1/192]
|
在馆
|
架位导航
|
|
2
|
1378302
|
213783020
|
十四楼书库/
[索取号:TP311.1/192]
|
在馆
|
架位导航
|
|
3
|
1378303
|
213783039
|
十四楼书库/
[索取号:TP311.1/192]
|
在馆
|
架位导航
|
