本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
东东枪从业10数年,一线营销、广告、创意工作心得,悉心梳理打磨多年的“私家创意小课”首度公开;从概念原理到作业细节,从创意方法到评判标准,99篇小文深入浅出、条...
菲利普·胡克●苏富比拍卖行资深董事、印象派与现代艺术部高级总监,拥有40余年的艺术品交易与拍卖专业经验。2012年,在胡克先生主持的苏富比年度拍卖会上,创造了截...
狂言七笑,毕业时正在热映《哈利·波特》,我们一兴奋,呼啦把学士袍领沿套在了头上,照了“黑袍法师群魔乱舞”的毕业照。大冬天洗冷水澡很冷,被舍友一刺激,哗啦啦冲了水...
跌宕起伏的二十世纪,中国科学界经历了哪些风雨苍黄与五味杂陈?十六位科技知识分子于耄耋之年对中国当代历史集体发声不同身份、地位的历史见证者从各自角度回顾他们的“私...
五味太郎,1945年生于日本东京。毕业于桑泽设计研究所工业设计科,从事过工业设计、印刷美术图案设计等工作,二十七岁时开始创作,至今已经出版了四百多部创意独特的绘...
银屑病广汗法治疗心路:我对给邪以出路的临证探索2/中医师承学堂 内容简介 1本书作者以银屑病这个临床疑难病作为一个讨论的支点,以汗作为健康的一个可靠的标志,讨论...
作者简介杰弗瑞·菲佛(Jeffrey Pfeffer),斯坦福大学著名组织行为学教授,曾在哈佛商学院、伦敦商学院、西班牙IESE商学院担任
《潜沙记》内容简介:这里不仅有荒凉的沙砾和沙丘, 更充斥着野蛮的生命。在这个沙丘之上的城市, 风沙从不停歇,于是人们也无法停
作品目录译者序 第一章 绪论 第二章 功利主义的含义 第三章 论功利原则的最终约束力 第四章 论功利原则能够得到何种证明 第五章
章友康主任医师、教授、博士生导师卫生部肾脏病研究所副所长北京联科中医肾病医院名誉院长历任北京大学第一医院肾内科主任、科研处处长、副院长和院长。北京医学会肾脏病学...
她曾被《中国图书商报》评为“十大网红作家”她的作品被翻译成多国语言,畅销东南亚及港台地区她笔力出众,感情细腻,故事笑中有泪,深受读者喜爱。她写的故事,总是越到结...
本书全面阐述了科学与学术的本性、精神、人的存在,理性、研究、教育与传授、交流、大学作为一种制度等内容。德文原版首次出版于1923年。
肌力訓練,不是競技運動員的專利,也不是可有可無的休閒嗜好;肌力訓練,是現代人維持終身健康與強壯的最佳途徑。運動科學專家 何立安博士,攜手70歲雙親,親自見證。生...
提姆·连恩(Timothy S. Lane),美国宾州威斯敏斯特神学院兼职教授,基督教辅导与教育协会(Christian Counseling and Educ...
杰夫•勒米尔,著名漫画编剧,创作过DC《正义联盟》,漫威《暮狼罗根》《全新鹰眼》,《X战警》等。获得8次艾斯纳奖,7次哈维奖,8次舒斯特奖。
口齿咽喉诸疾普济方新编 内容简介 本书取材于《普济方·口门、舌门、咽喉门、牙齿门》,以人民卫生出版社于1959年校排的第二册为蓝本,按现代口齿咽喉病学的思路,打...
Purchaseoneof1stWorldLibrarysClassicBooksandhelpsupportourfreeinternetlibraryofd...
针刺运动疗法与疼痛治疗 内容简介 本书分上下两篇。上篇介绍针刺运动疗法的理论与方法,详细地介绍了针刺运动疗法的理论基础,临床研究与实验研究的依据和操作方法,包括...
张宏杰:蒙古族,1972年生于辽宁。东北财经大学经济学学士,复旦大学历史学博士,清华大学博士后。曾先后就职于某金融机构及某大学。著有《中国国民性演变历程》《大明...
方宝华医论医案集 本书特色《方宝华医论医案集》由丁林宝编著。《方宝华医论医案集》简介:“东吴中医甲天下,孟河名医甲吴中。”孟河医家以费、马、巢、丁*有代表。方宝...