本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
SetinLosAlamos,WashingtonDC,Iraq,andIsrael,"HeroesHappen"describesoneeventthatco...
Virginia Woolfs exuberant `biography tells the story of the cross-dressing, sex-...
取穴彩色图解 本书特色 为使广大从业人员更快、更准确地学习经络、腧穴知识,王颖、樊旭主编了《取穴彩色图解》。本书主要介绍了人体14条经络的走行、360多个腧穴的...
刘慈欣中国科幻文学的领军人物,其作品场面宏大,描写细腻,富有人文情怀。代表作《三体》被誉为迄今为止中国当代杰出的科幻小说,并荣获第73届世界科幻大会颁发的“雨果...
作者NHK采访组。NHK 即日本广播放送协会,成立于1926 年,是日本第一家根据《放送法》成立的大众传播机构。NHK 采访组敢于挖掘事实真相、直面社会困境,已...
临床流行病学-(供基础.临床.预防.口腔医学类专业用)(第3版)(含光盘) 目录 **章 绪论第二章 疾病负担与临床研究重点的确定第三章 临床医学科研的选题与立...
秋元康是日本多栖创意人,被誉为“日本娱乐教父”。他是4000首歌词的作词人,26部电影的企划、制作、编剧,84个节目的企划人和制作人,20本畅销著作的作者,还是...
【编辑推荐】★摇滚桂冠诗人帕蒂·史密斯,45年创作生涯诗与歌词作品全收录,中英对照典藏本;本书是帕蒂对摇滚乐历史独特贡献的Zui好纪念——“我们终会衰亡,而诗不...
中华人民共和国宪法 内容简介 《中华人民共和国宪法》以法律的形式确认了中国各族人民奋斗的成果,规定了国家的根本制度和根本任务,是国家的根本法,具有*的法律效力。...
作者 | 理查德·德威特(Richard DeWitt)美国费尔菲尔德大学(Fairfield University)教授。他利用丰富的课堂教学经验对《世界观》...
★“我爱读·国际大奖小说”系列★2018年澳大利亚儿童图书协会年度图书奖!★适合8-14岁孩子和想了解孩子内心世界的大人。★作者利用音乐治愈精神疾病的魔幻题材让...
《麦当劳准则》作者从16岁起即在麦当劳打工,从最基层的操作工一直做到地区副总裁。他从自己的工作心得出发,结合麦当劳管理人员和员工的实践,结合麦当劳企业文化的7个...
◆ “循环系列”完结篇,揭秘无限循环尽头骇人真相!◆ 手绘插画版精装版我们所知的一切都不复存在此时此刻就是循环的尽头-深夜两点整,暴雨不期而至,一行人在高速公路...
谈了恋爱或结了婚是不是就该受控制或是控制对方?控制又会形成什么样不健康的两性关系?你有没有发现,有一层微妙的事物存在于婚
奥克塔维奥帕斯(Octavio Paz,1914—1998),墨西哥作家、诗人、文学艺术批评家、社会活动家和外交家,在当代拉美和世界文坛享有盛誉。以杰出的文学成...
SomeofAmericasfunniestplacesarerightaroundthecorner.Thistreasurycollectsweird,wa...
祁州药志 内容简介 本书属药物学专着。鉴于民国期间版本众多,故选用*早或*佳版本为蓝本,并与其它不同版本的同类医书校对,同时又与相关的医书文献进行旁校,力求校勘...
作品目录1皮肤乃五脏之镜在我们中国,古往今来,雪白、细腻的肌肤就被认定为“美人”的第一要素,这一点从一些古代诗词中不难发
本书是一部关于魏晋南北朝货币史的全新力作。本书围绕着如何评价魏晋南北朝的货币经济发展状况这一核心,在既有研究的基础上,综合考古资料,以时代为线索,系统阐述了魏晋...
李碧华出生、成长于香港,曾任记者、电视编剧、电影编剧及舞剧策划。在香港畅销报刊撰写专栏及小说,结集出版逾百本,并有多国译本。小说《胭脂扣》《霸王别姬》《青蛇》《...