简介
本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、... 更多
属性
出版社
机械工业出版社
ISBN
9787111725640
出版年
2023-5
装帧
平装
价格
89.00元
页数
298
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%