本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
《裸者与死者》被视为所有关于二战的小说(甚或有人认为是所有关于战争的小说)中最伟大的一部。梅勒写就这部作品时年仅25岁,由此跻身20世纪美国最经典作家之列。小说...
【编辑推荐】★ ”中国妈妈日“发起者、女性成长平台Momself成立五年首部合集,百万粉丝翘首以盼。作为国内首个女性成长平台,Momself 自2016年成立以...
本书为“建筑史诗”系列之一,“建筑史诗”系列由建筑学者王南在《读库》连载,内容涉及汉、唐、宋、元、明、清、东西罗马、中世纪、文艺复兴等古今中外的建筑,旨在用几万...
[俄]弗拉狄米尔·米格烈 1950年7月23日出生于乌克兰。16岁时离家独立生活。1974年起居住于俄国的新西伯利亚,以摄影为业。1980年代中期成家,有一个女...
痛证知要-中医临床治痛集验 本书特色 本书是作者从医几十年来近百万字的笔记中的精华部分,故名集要,个人从中收益不少。该书收集了上自《内经》,下至当代医家治疗疼痛...
Serpientesisimaginativefictionbasedonnon-fictionaldata.Dineywrotethisbookforshee...
李明德,教授,著名水生生物学家、鱼类学家。1934年出生,广东东莞人。1957年毕业于南开大学生物系,现任南开大学生物系教授、四川省社会科学院知识经济研究所特约...
证据法简明案例(第二版) 内容简介 本书深入浅出、寓教于例,通过300多个典型的案例详细勾画了英美法系关于证据分析和确认的高超技巧,对证据法的重大问题(如证据的...
支气管哮喘临床新对策 内容简介 内容提要本书是我国**部中西医并重,详细介绍支气管哮喘临床防治的专著。全书共分十二章,系统论述了哮喘的发病机理、诊断及防治(包括...
本书运用心理学、人际关系学、社会学等学科的相关理论,结合当代社会交往中的实际,以大量翔实的事例,阐述了交往技巧。既有人们
《海上繁花》主要内容:我开始读张爱玲之早,想起来连自己也觉得印象模糊。“1995年3月”——那时张爱玲还活着,和我在一个世界上?……如果不是购书回来顺手在书的扉...
“人类已被证明具有伟大的心灵和精神——面临失败的勇气,勇敢无畏的精神,宽恕和仁爱之心。作为一名作家,必须宣扬和赞颂这些。我认为,一个作家如果不能热忱地相信人类有...
伊礼智 日本知名建筑师,1959年出生于冲绳。师从日本建筑大师奥村昭雄,1985年获得东京艺术大学美术学院建筑专业硕士学位。1996年设立伊礼智设计工作室,擅长...
社区康复 内容简介 本书是《社区医师中西医诊疗规范丛书》之一,简明地介绍社区康复工作所**的理论知识及实践技能,内容包括社区康复的基本概念及原则;社区康复...
作品目录致中国歌迷前言从杰克逊五兄弟乐队到杰克逊家族乐队:“流行音乐之王”的童年《必须去那里》《本》《音乐与我》《永远的
作品目录IntroductionLet's Wear Our Hair in the Socialist StyleOur Country is Bes...
作品目录第一章 国有小玫瑰第二章 蒋诚第三章 审讯第四章 卧底第五章 被遗忘的往事第六章 怀光连环杀人案第七章 戚严第八章 怀表
《超越空心化》内容简介:近年来,随着脱贫攻坚和乡村振兴战略的推进,乡村空心化趋势在一定程度上得以扭转。本书名为《超越空心化
★天才的想法从何而来?看聪明头脑如何思考,解决看似不可解的难题。☆150页小书,坦诚幽默,天马行空,妙趣横生。★诺贝尔物理学奖得主在细节中发现宇宙真理,更新我们...
《高效呼吸训练》内容简介:当谈到身体健康时,大家往往更加注重营养和锻炼,却很少学习如何更有效地呼吸,殊不知健康的呼吸方式的