本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。
第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,最终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。
本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。
刘新宇,亚马逊中国研发中心研发经理,负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法,著有《算法新解》。
吴天士医话医案集 本书特色 《吴天士医话医案集》由清初著名儒医吴天士的《医验录初集》和《医验录二集》综合编辑校点而成。《吴天士医话医案集》内含《兰丛十戒》、《破...
妇科恶性肿瘤现代非手术治疗 内容简介 本书全面系统地阐述了妇科常见的恶性肿瘤非手术治疗的相关知识和治疗原则,包括化学药物治疗、放射治疗、生物学治疗、介入治疗、中...
青木昌彦1938年生,斯坦福大学经济系教授。经济产业研究所所长。主要著作有:《企业合作博弈理论》,牛津大学出版社,1984年;《日本经济的制度分析——信息激励谈...
难治性呼吸系统疾病 本书特色 本书是“现代难治病诊治学丛书”之一,由我国多位呼吸领域的著名专家共同编写。书中以临床上较常遇到的呼吸系统难治病为切入点,共分21章...
谢映庐得心集医案 内容简介 清代后期著名医学家谢映庐,为江西名医,祖居江西南城,三世为医,至道光辛卯年,著有以其医案为主的医著《得心集》初稿。然而在咸丰丁巳年,...
本书是我在2006~2011年指挥伊拉克与阿富汗战争的亲身经历。我们最初取得的军事胜利,正因我们的短视、错误政策及在战场和华盛顿的内部冲突而被挥霍殆尽,战争已变...
作者王欢欢没入行的环境艺术设计专业毕业生、私立医院收银员、饼干厂厂长,办过杂志,童话专栏作家。27岁进入出版社,工作日作为一个循规蹈矩的编辑部主任,业余把写作当...
精彩摘录有一日你会明白,这是极之无可奈何的事,因为没有人做错什么,所以无人需要道歉,我也不打算求你原谅,但父母已决定分居
实验室生物安全 节选 2003年非典疫情在我国和其他国家的暴发,不仅引起了我国社会和相关政府部门的高度重视和警惕,而且在全球也受到越来越多的关注。国内从...
汉娜·阿伦特,20 世纪伟大的政治思想家,她生活的时代被战争与政治的动荡所主导,其个人生活也同样波澜壮阔。时隔多年,阿伦特仍凭借其真知灼见影响着世人,并激发出新...
李礼,资深媒体人,中国人民大学法学博士。曾任多家媒体主编、专栏作家。现任《东方历史评论》执行主编。
陈莲舫医案集-民国江南医家著作选粹 内容简介 《陈莲舫先生医案》以上海中医药大学馆藏抄本《陈莲舫先生医案》为底本进行校点,基本保持了上海中医药大学馆藏抄本《陈莲...
郭敬明,作家,编剧,导演,国际版权出品人,上海最世文化发展有限公司董事长、总经理,《最小说》杂志主编,《文艺风象》《文艺风赏》杂志出品人。“80后”作家群的代表...
作者简介天下归元,女,中国作家协会会员,2011年获全国女性文学最佳新人奖,2012年获潇湘书院“非凡成就奖”。其代表作《扶摇皇后》获2011年度十大优秀女性文...
李剑国,山西灵丘人。1943年1月生。1967年毕业于南开大学中文系汉语言文学专业,1979年考入南开大学中文系,师从朱一玄、宁宗一先生攻读中国古代文学专业中国...
(日)千田琢哉生于爱知县犬山市,长在岐阜县各务原市,毕业于东北大学教育学院教育系。曾就职于日系损害保险公司总部、有名商务咨询公司,目前独立经营。以“挑战禁忌,创...
青简: 医生,摄影师,作品《二十四节气》曾被申请世界文化遗宣传片使用,并出版多本个人摄影散文集
中医微调治癌法 内容简介 本书从常规疗法局限性的阐述引出这种另辟蹊径的治疗方法,阐述微调平衡法抗癌机制、实施办法与支持疗法,并收录医案。中医微调治癌法 目录 *...
女性生殖系疑难病例临床病理讨论 本书特色 《女性生殖系疑难病例临床病理讨论》由人民军医出版社出版。女性生殖系疑难病例临床病理讨论 目录 第1章 绪论**节 WH...
《澄衷蒙学堂字课图说》的创制,得益于二人:一位是“澄衷蒙学堂”的创始人叶澄衷先生(1840~1899)。叶先生是清末沪上巨贾,“五金大王”。热心赈济、救贫和办学...