本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
《李鸣古代仕女作品精选》作者专攻工笔仕女画,古代、现代仕女都画,技巧趋向成熟,意境的追求和墨色的情调都颇有自己的独特面貌
《梦工厂之材质N次方》内容简介:《梦工厂之材质N次方》为其中的材质手册,全书共6章。第1~2章介绍了材质在三维动画中的地位和意义
精彩摘录不要只为速写而速写,而是为了你自己的感受来创作。速写作品只不过是你和模特相处的副产品。——引自第68页
InTheLawReview,attorneyS.ScottGaillesetstherecordstraightabouthowlawyersgettheir...
伊势英子画家、绘本作家,1949年生于日本北海道札幌市。东京艺术大学设计系毕业,游学法国后从事绘画创作。醉心于研究知名荷兰画家凡高与日本儿童文学大师宫泽贤治,曾...
柄谷行人(Kojin Karatani),1941年生于日本兵库县尼崎市。早年就读于东京大学经济学本科和英文科硕士课程。毕业后曾任教于日本国学院大学、法政大学和...
韩梅梅畅销书作家,出生于1981 年。走过很多地方,做过很多事情。我行我素,相信爱情。出版过《有些事现在不做,一辈子都不会做了》系列,《遇见一些人,流泪》系列,...
舌下络脉诊法图谱 本书特色 舌诊是通过观察舌质及舌苔的状态来探究体内气血阴阳运行、脏腑功能变化的诊察方法,是望诊的一个重要组成部分,是中医诊法的特色之一...
摇滚乐是在节奏布鲁斯这种非洲裔美国人的音乐类型上发展起来的。在过去,30岁以上的人鄙视它,自封的音乐品味仲裁者嘲笑它,性道德的卫道士谴责它,担心种族之大防被突破...
姜天骄:方正证券产业金融部董事,负责医疗健康产业投资并购业务及上市公司资本市场价值管理业务,此前曾任方正证券研究所高级分析师,专注创新医疗、互联网医疗领域研究,...
设计师在从事设计工作的过程中,被问及较多的问题应该是:“为什么我的客户不尊重我的设计?”而答案集中的是客户不懂审美。本书试图从设计背后的逻辑层面回答这个问题,设...
“全世界只有一个爱玲”她看过的云,她行过的路,她住过的城,她爱过的人,她写过的心,她流过的泪,她冷眼过的民国世界……她擅写皓月,却不得团圆。张爱玲是一个传奇,在...
中医辨证的机器推演 本书特色 到目前为止,完全按照中医辨证过程来构建一个完整的机器诊断体系,还是一个尚未涉足的崭新领域。本书运用人工智能高新技术,对中医辨证的计...
DetectionTheoryisanintroductiontooneofthemostimportanttoolsforanalysisofdatawher...
所长林超,原名林超,投资人,知名科普UP主,2022年博鳌青年领袖,活跃于B站、抖音、微信视频号、小红书、微博等平台,全网粉丝接近1200万;拥有中山大学国际金...
张光直(1931-2001年),男,原籍台湾,在北京出生。当代著名的美籍华裔学者,人类学、考古学家。2001年因帕金森氏症在美国麻塞诸塞州去世。
急脚大师毕业于安徽师范大学中文系,专注古代人才选拔考试制度、唐诗宋词、古文等历史文学的研究,善于用通俗易懂、生动活泼的文字严谨地讲述历史。曾在浙江省一级重点高中...
作品目录目录前言——对想掌握真正交易技术的人说的话第一章 “变动的价格”的基本性质一、被变动包围着的生活二、投资技术的高
马克斯·韦伯,德国著名社会学家,现代极具影响力和生命力的思想家,社会学三大“奠基人”之一。曾先后在柏林大学、维也纳大学、慕尼黑大学任教。他对于当时德国的政界影响...
安托万·普罗斯特(Antoine Prost),1933年生于法国汝拉省,巴黎高师毕业,长期执教巴黎一大,现为该校荣休教授。普罗斯特专攻20世纪法国社会史,除有...