本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
UndeclaredWarswithIsraelexaminesaspectrumofantagonismbytheEastGermangovernmentan...
本作が商業初執筆作品になる期待の新鋭。同人活動を経てデビュー。まるでカラーのような、卓越した筆致で描かれる画面とドラマチックな演出で、物語の深みへと誘う。
《幸福地做老师:我的生本教育实践之路(修订版)》内容简介:本书是全国生本教育实践名师荆至强老师在学校实施“生本教育”的体会
郭成康 中国人民大学清史研究所教授,博士生导师。北京市人,1941年生。现为国家清史编纂委员会委员、北京市文史馆馆员。主要有《18世纪的中国与世界•政治卷》《乾...
本书为“细讲中国历史丛书”中的一种,分十四章,讲述魏蜀吴三国鼎立、西晋统一、东晋偏安、南北朝更替的历史进程,对于这一时期的社会经济、文化生活、学术思想、科学技术...
作品目录目录第一章 村上森林――村上春树概论一 村上春树这个人(一)从酒吧老板到“群像新人奖”得主(二)西化的日本少年(三
别让医院蒙了你 本书特色 用医生的良知改变民众对医院的“美好幻想”,作者用自己从医数十年的经验和数据来讲述如何选择医院、医生等可能决定自己生死的大事。作者对医院...
新编内科急症救治速查 内容简介 《新编内科急症救治速查》共分十章,内容包括:循环系统急症救治;呼吸系统急症救治;消化系统急症救治;神经系统急症救治;内分泌系统急...
◆金庸家属授权的金庸往事集。书中记录了查太“小龙女”与金庸先生相识的经过——2016年,查太林乐怡和作者沈西城面谈与金庸先生相识的经过,首度辟谣;◆带有珍贵史料...
著:弐瓶勉(ニヘイツトム)1971年生まれ。男性。福島県福島市出身。代表作に『BLAME!』など。1995年、『BLAME』がアフタヌーン四季賞で谷口ジロー特別...
王汎森,1958年生,美国普林斯顿大学博士,2004年当选台湾中研院院士。主要从事明清至中国近代的思想史、学术史等领域的研究。著有《章太炎的思想》《古史辨运动的...
秘授眼科.异授眼科 本书特色 这本《秘授眼科·异授眼科》(校注许敬生、刘婕)是“古医籍珍本集萃丛书”之一,收录下面内容:《秘授眼科》以五轮八廓为诊治眼疾之纲领,...
不懂得拒绝,正在拖垮你本书针对每个人都会遇到的处世困扰或难题,给出了38则“小恶精神”的解决办法,从人际关系、情感、回话、常理、金钱和父母等六个方面带你审视人生...
藤本树,日本新生代漫画家,代表作《炎拳》《电锯人》《再见绘梨》。
《中国历史讲话(外三种)》内容简介:本书包括由四篇文章组成: 一、《中国历史讲话》,原系作者于1938年春为学生授课时的讲稿,当
作者简介刘名于精彩摘录(古德里安:)“只有支援坦克的其它兵种具有与坦克相同的行驶速度和越野力时,坦克才能充分发挥其威力。
托马斯·卡莱尔(Thomas Carlyle,1795—1881),英国思想家、历史作家、散文家,著有《法国大革命》《论英雄和英雄崇拜》《拼凑的裁缝》等;拉尔夫...
《通信行业求职宝典:猎头视角(第2版)》涵盖通信、互联网行业各细分行业介绍,各企业的招聘、待遇和发展情况,还包括求职者该做的准备工作,如何面对笔试、面试等内容。...
【日】五味太郎。1945年出生于东京,毕业于日本桑泽设计研究所工业设计科,曾获得博洛尼亚国际童书展插画奖、日本产经儿童出版文化奖,是享誉世界的绘本大师。他27岁...
★★★雄踞《纽约时报》畅销榜首的医学权威联袂推荐,告别疲惫、失眠、焦虑、抑郁的绝佳方案,身体的语言,才是值得我们信任的真相。……………………◎ 编辑推荐★ 整合...