研究之美

高德纳（Donald Ervin Knuth，1938年1月10日－），出生于美国威斯康辛州密尔沃基市（Milwaukee），著名计算机科学家，ACM图灵奖、美国国家科学奖、IEEE计算机先驱奖和京都奖获奖者，斯坦福大学计算机系荣誉退休教授。高德纳在计算机科学及数学领域发表了多部具广泛影响的论文和著作，其中最著名的是《计算机程序设计艺术》（The Art of Computer Programming）多卷本。他创造了算法分析的领域，被誉为“算法分析之父”，在数个理论计算机科学的分支做出奠基性的贡献。此外，他还是排版软件TEX和字体设计系统METAFONT的发明人。

《研究之美》是计算机科学大师、“算法分析之父”高德纳（Donald E.Knuth）在20世纪70年代旅居挪威时撰写的适用于计算机科学的一种全新基础数学结构的情景小品。全书以一对追求自由精神生活的青年男女为主人公，展开了一段对于该种全新结构的发现和构造的对白。在此过程中，本书充分展示了计算机科学的从业人员进行全新领域探索时所必备的怀疑、立论、构造、证明、归纳、演绎等逻辑推理和深入反思的能力。《研究之美》可以看作是读懂高德纳的艰深著作《计算机程序设计艺术》和《具体数学》的钥匙。

推荐序（张亚勤） 作者序（英语原文） 作者序（中译） 译者序 岩石 符号 证明 坏数 进展 第三日 发现 加法 答案 定理 缘定 灾难 平复 宇宙 玄极 乘法 跋