本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
李慧玲(1970—),女,河南浚县人,文学博士,现为华东师范大学古籍研究所副研究员。主要研究领域为经学及古典文献学。已出版的主要著作有、《礼记注译》、《毛诗注疏...
余光中在生命里从容漫步的诗人在时光中畅快漂泊的旅客余光中先生生于南京,祖籍福建永春。因母亲原籍为江苏武进,故也自称“江南人”。1952年毕业于台湾大学外文系。1...
跨領域推薦──王崇名東海大學博雅書院書院長兼通識教育中心主任陳建守中央研究院近代史研究所助研究員劉安婷 「為台灣而教」創辦人暨董事長蔡俊彥國立中山大學博雅教育中...
FormalPragmaticsaddressesissuesthatareontheborderlineofthesemanticsandpragmatics...
叶广芩,北京市人,满族。国家一级作家,中国作家协会全委会名誉委员,西安市文史研究馆馆员,西安培华学院女子学院院长。被陕西省委省政府授予“德艺双馨文艺工作者”称号...
“雪山圆相”当代禅画艺术继承者、水月太极创始人、禅文化导师、禅学作家。为使更多人了解“中国禅(CHAN)”文化修养这一中华文化瑰宝,自2010年起,悟义老师笔耕...
张小花,现居内蒙古包头市。雌雄莫辨,江湖人称无性花妖,有白痴与天才结合体的美称。白痴的得名是因为高考数学小花只得了26分(这是小花永远的痛),天才是小花的自称。...
Robert Hoekman,Jr., 产品开发和Web设计顾问公司Miskeeto的创始人,经验丰富的用户体验领域的专家,曾与Adobe、美国联合航空等公司合...
主人公桂娜出生平平,没有傲人的学历,也没有出众的容貌,在一个再普通不过的公司工作,每天挤在拥挤的地铁里上下班。尽管有一个很珍爱她的男友,但是在极度看重现实条件的...
伊心青年作家,旅行与文艺深度爱好者。已出版畅销书《我比谁都相信努力奋斗的意义》豆瓣:@伊心微博:@伊心同学微信公众号:@伊心(yixintongxue)
David R.Hanson 普林斯顿大学计算机科学系教授,有着二十多年编程语言研究经验。他曾经同贝尔实验室合作开展研究工作,是适用于UNIX系统上的高质量C编...
编辑推荐:唐浩明熊召政联袂热情推荐完整解读袁世凯的双面人生和命运沉浮全面再现清末民初社会巨变和风云变幻督朝鲜,抚山东,直入内阁,十数载纵横捭阖,终成枭雄霸业卖康...
李泽厚,学者,哲学家。湖南长沙人,一九五四年毕业于北京大学哲学系。曾任中国社会科学院研究员,巴黎国际哲学院成员,德国图宾根大学、美国威斯康星大学、密歇根大学、科...
李荷西作家、编剧。阅读是对生命的按图索骥,写作是勾画梦境的山河。已出版作品《没道理的爱情》《一切所遇,欢迎光临》《爱让我们更好了》
甘えんぼの男の子、冷たい眼をした男の子、どっちが本当の颯太なの…。揺れるりずの想いは!?そして、ついに颯太の過去が明らかに
格雷厄姆·艾利森(Graham T.Allison),哈佛大学肯尼迪政府学院院长、教授,曾在克林顿政府时期任助理国防部长。
茅魏卿,原籍上海松江,1982年大学毕业,主修外语和远洋贸易。当过外轮代理和对外贸易公司部门经理。后来,赴澳大利亚求学,修过法律和哲学,干得最长的工作是跨国公司...
克里斯•格拉本斯坦,美国著名作家,《纽约时报》畅销书作家,曾多次荣获国际大奖,包括安东尼奖、阿加莎最佳青少年推理小说奖等。他对故事有天然的兴趣,上初中时他的老师...
Zambia1964,therathereccentricschoolteacherEdwardMakukaNkolososingle-handedlystar...
☆ 生活如此绝望,每个人却都兴高采烈地活着/米格尔街和米格尔街上人,都像盐一样平凡,像盐一样珍贵!☆ 诺贝尔文学奖得主V. S. 奈保尔成名作,获毛姆文学奖/ ...