-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
JAVA持续交付
-
>
EXCEL最强教科书(完全版)(全彩印刷)
-
>
深度学习
同构:编程中的数学 版权信息
- ISBN:9787111725640
- 条形码:9787111725640 ; 978-7-111-72564-0
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>
同构:编程中的数学 本书特色
从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理
同构:编程中的数学 内容简介
本书从七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是:数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理,构筑了计算机程序大厦的基石。通过单向链表,斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端,把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构,并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不接近性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
同构:编程中的数学 目录
同构:编程中的数学 作者简介
刘新宇,毕业于清华大学,现任亚马逊中国研发中心物流技术团队研发经理,拥有二十余年研发经验,长期专注于函数式基础算法。
- >
唐代进士录
唐代进士录
¥16.1¥39.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥14.5¥39.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
月亮与六便士
月亮与六便士
¥19.1¥42.0 - >
回忆爱玛侬
回忆爱玛侬
¥24.0¥32.8 - >
经典常谈
经典常谈
¥16.7¥39.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0
-
大模型应用开发极简入门 基于GPT-4和ChatGPT
¥41.9¥59.8 -
人工智能 现代方法 第4版(全2册)
¥120.8¥198 -
计算机视觉:算法与应用
¥95.9¥139 -
必然(修订版)
¥53.5¥89 -
GPT时代人类再腾飞
¥54.9¥89.9 -
生成式人工智能(AIGC)应用
¥64.9¥90
万千教育:幼儿园户外游戏环境创设 (彩图版)
¥41.8¥48.0太阳能光伏发电系统工程-2-第二版
¥70.6¥98.0传热学中的数值方法
¥32.6¥40.0雷达对抗及反对抗作战能力评估与验证
¥79.7¥119.0应用概率论基础
¥18.9¥28.0