具体描述
本书共十四章。一至三章介绍lisp的基本语法、语义、s表达式的概念、以及lisp的核心部分lisp1；四至十章主要讨论lisp的函数程序设计方法；十一至十三章是lisp的非函数程序设计部分；十四章介绍lisp中的一些高级成分和高级应用。
本书以lisp语言为素材，注重训练学生的函数式程序设计能力。书中用形式化的方法来表述lisp的语义，旨在提高学生的理论素养，同时，书中有大量的习题和例题，涉及到lisp的基本概念直至人工智能领域中的高级应用。仔细阅读这些程序并认真作习题，对学好本课程是十分有益的。
本书可用作高等院校计算机专业的教材或参考书，也可供从事人工智能工作的研究人员、工程技术人员参考。
作者简介
马希文教授 1939 年 5 月 23 日生于河北省枣强县，是我国著名的数学家、计算机科学家、语言学家和教育家，也是杰出的科学普及工作者。他在教学与科研中有其极为独到的方法，在许多领域 所做的开创性、先驱性及前瞻性的贡献，具有远远超出领域本身的重要理论涵义。他有超群的天赋，在哲学、音乐、文学等方面也很有造诣，熟悉多种语言。
马希文教授 1954 年进入北京大学数学力学系，时年15岁。毕业之年参加概率专门化，毕业时以他为主的研究小组所完成的优秀学术论文《最优分成问题（或量化问题）的渐近 解》，发表在《数学学报》 1961 年第 3 期上。他被丁石孙教授誉为"最有才能的学生之一"。
他 1959 年毕业留校，在数学力学系概率教研室工作，主要研究信息论和编码理论。他开设了系里第一个数学信息论课程，与人合写了讲义，讲义中重新整理了经典信息论的 理论体系，用更清晰更容易理解的方式证明了许多定理，该讲义为多届学生所使用。在此期间他还运用信息论的观点研究了中文的语言学问题，提出通过 4 级马尔可夫链处理中文可以得到很好的结果。这一方法八十年代后得到广泛运用。
六十年代后期，他从事试验设计方面的研究和推广，主要研究正交设计，并在北京橡胶总厂推广试验设计方法。1981 年出版专著《正交设计的数学理论》，把现代试验设计的很多方法，特别是日本田口学派的方法，从数学上进行了概括和整理，把一些方法的数学理论基础弄得很清 楚，对发展正交设计的理论起了很大作用。
七十年代他曾在北京大学 6912 计算机上开发绘图和识谱奏乐软件。他从事计算机科学理论的研究，其论文《树计算机和树程序》发表在《计算机学报》创刊号上。他是我国计算机科学领域的第一 批研究生导师之一。
1979 年至 1981 年,他作为首批派往美国的访问学者，在人工智能创始人 John McCarthy 教授领导的斯坦福大学人工智能实验室工作。其间从事诸多课题的研究，取得的重要成果之一是程序语义学论文《语义学中的关系方法》。
回国后，他在人工智能方面做了大量出色工作。他是中国人工智能领域奠基人之一，参与创建中国计算机学会人工智能学组和中国人工智能学会，并于 1982 年在北京计算机学院创办了人工智能研究室。他在 "知道逻辑" 的研究中取得重要成果，发表在 1983 年国际人工智能大会上的有关论文受到一致好评，因此他被推举为 1985 年国际人工智能大会程序委员会委员。1985 年主持国家自然科学基金项目"LISP 语言动态编译系统"。他对我国 863 计划智能计算机主题的立项起了重要作用。他以深刻的洞察力指出计算机在给人类社会带来巨大影响的同时，也有其不可避免的局限性。他为此撰写了多篇文章，始 终以清醒的头脑推动人工智能学科的发展。
马希文教授曾任中国计算机学会理事，积极推动中国的理论计算机科学建设工作。1983 年他作为主要负责人之一在北京大学筹建成立了计算机研究所，举办了中国首次理论计算机研究班。1984 年参与组织中国计算机学会理论计算机科学分会，以及在广州召开的第一次理论计算机科学学术会议，并于同年在北大开办理论计算机科学研究生班，招收 10 名研究生。在此期间创立了北京大学理论计算机科学博士点。1987 年推动举办了第一届青年计算机工作者学术会议。在此期间他深入研究了计算机科学理论的许多问题，在课程讲义的基础上出版了著作《程序设计学》，发表了长篇 论文《理论计算机科学引论》，后者修改后用英文在新加坡 World Scientific Publishing Co. Pte Ltd 出版。其论文《什么是理论计算机科学》提出了许多很深刻的认识。
马希文教授在语言学方面有很高的造诣，是首届国家语言文字工作委员会委员。七十年代后期他与朱德熙先生等著名语言学教授的学术讨论发展成一个持续多年语法 讨论班，吸引和熏陶了一批新人，酝酿了一些重要成果，包括他自己的多篇论文，如《中国语言学报》创刊号首篇《关于动词"了"的弱化形式》。而后又先后在 《中国语文》等刊物上发表数篇高质量的有关汉语语法和汉语虚词的学术论文，受到汉语学界的高度评价。他熟练掌握英语和俄语，并涉猎阿尔巴尼亚、蒙古、日、 德、法、朝鲜、豪萨、斯瓦希利、世界语等多种语言。
马希文教授是中国计算语言学的奠基人之一，对于计算机科学同语言学的结合倾注了极大的热忱。1983 年他在北大开设了计算语言学课程，而后于 1986 年与朱德熙教授一起组建了北京大学计算语言学研究所，并主持了信息科学跨学科系列讨论班。他在北京语言文化大学参与创办语言信息处理研究所，并在中国科学 院软件研究所、北京信息工程学院、黑龙江大学、中软公司等单位指导课题研究，涉及汉字输入、文本编辑、机器翻译、语言理解、自动文摘、汉语计算机辅助教学 等方面，并亲自设计算法、调试程序。他曾撰写多篇文章论及两个学科的关系，并热情洋溢地为他的研究生的著作作序，鼓动用计算机科学的方法辅助语言学研究。
他以一个科学家的责任感，非常重视科学普及和基础教育工作。他曾担任国际数学奥林匹克竞赛中国队总教练，1989 年率队参加在德国举行的第 30 届国际数学奥林匹克竞赛，取得了团体总分第一、金牌总数第一的历史最好成绩。他撰写了一批科普精品，组织领导了获普利策奖的"奇书"《哥德尔、艾舍尔、巴 赫-集异璧之大成》的汉译工作。该译著得到原作者的特别推崇，并于 2001 年 6 月获第四届全国科普优秀作品奖。
九十年代，马希文教授旅居海外，从事计算机软件应用开发，在 CEON CORPORATION 担任首席科学家，并拥有若干项专利。他曾任北加州北京大学校友会副会长，并积极为国内的科研与教育献策献力。他热心助人，在华人华侨同胞中富有影响力。
马希文教授19岁毕业后即从事教学工作，几十年中桃李无数。他开设了许多全新的课程，所用讲义都是他研究心得的结晶。他指导了一批批的研究生，他的学术思 想和治学方法使他们终生受益。
马希文教授一生淡泊名利，从不追逐职位和奖项。他一味地开路，并不谋求获得。他不写鸿篇巨制，但每一篇文章都字字珠玑。他有求必应，乐于让别人分享自己的 智慧。他的身上体现了一种真正的学者风范。
马希文教授于 2000 年 12 月 22 日不幸病逝于美国加州 Red Wood City，终年 61 岁。他给我们留下了永远享用不尽的精神财富。
摘自：《逻辑-语言-计算，马希文文选》，商务印书馆，2003年1月
目录信息
读后感
评分
评分
评分
评分
用户评价
这本《LISP语言》简直是打开了我通往函数式编程世界的一扇大门。说实话，在接触它之前，我对LISP那种满屏括号的语法结构是有点望而生畏的，总觉得它像是一种只存在于学术象牙塔里的“古董”语言。然而，作者通过极其精妙的案例和循序渐进的讲解，彻底颠覆了我的刻板印象。书中对于宏（Macros）的阐述尤其精彩，它不仅仅是告诉你如何使用宏，更是深入剖析了LISP强大的元编程能力，那种“让代码自己编写代码”的魔力，第一次在我的编程实践中真实地展现出来。我记得书中有一个关于构建领域特定语言（DSL）的章节，作者用LISP的语法，优雅地为我们模拟了一个简单的推理系统，代码简洁到令人惊叹。读完这个部分，我深刻理解了为什么许多人工智能的先驱者如此钟爱LISP——它的灵活性和表达能力，在处理复杂符号结构时，展现出C++或Java难以企及的自然感。这本书的排版和图示设计也十分考究，复杂的概念总能被清晰地拆解成易于消化的知识点，使得我这个初学者也能在面对那些高阶抽象概念时，保持清晰的思路，而不是迷失在晦涩的术语中。这本书的价值，远超一本单纯的语言参考手册，它更像是一本哲学导论，引导我们以一种全新的、更具函数特性的思维模式去构建软件。
评分初读这本书时，我最大的感受是，它充满了那个时代特有的、对计算本质的深刻洞察力。书中对列表（List）作为核心数据结构的强调，以及它如何统一代码和数据（Code as Data）的哲学，给我带来了极大的震撼。这与我过去主要接触的、基于命令式和面向对象范式的语言形成了鲜明的对比。作者在介绍递归和尾部递归优化时，那种对计算效率和结构优雅性的双重追求，非常引人入胜。我尤其欣赏书中对Scheme和Common Lisp两种主流方言的平衡处理，它既没有完全偏废任何一方，又清晰地指出了它们在设计哲学上的细微差异，这对于希望在实际项目中选择合适的LISP方言的读者来说，提供了宝贵的参考。书中对闭包（Closures）和词法作用域的讲解，细致入微，让我对函数如何“记住”它们被定义时的环境有了透彻的理解。虽然有些段落的数学推导略显密集，但一旦坚持下来，那种豁然开朗的感觉，是其他编程书籍难以给予的。它强迫你放慢速度，去思考每一次函数调用的深层含义，而不是仅仅关注程序执行的结果。
评分我对这本书的评价，主要集中在它对“抽象”的驾驭能力上。它教会我的不是如何写出合乎语法规范的LISP代码，而是如何利用LISP的工具箱，构建出高度抽象且易于维护的系统。书中关于条件表达式和多值返回机制的介绍，展示了LISP在处理复杂控制流时的优雅性，远胜于传统语言中那些冗长且容易出错的`if-else`链。我特别欣赏作者对面向对象编程在LISP中的实现——CLOS（Common Lisp Object System）的介绍。它不是简单地堆砌术语，而是展示了面向对象理念如何在一种更具函数特性的框架下得到有机结合，特别是其强大的多方法（Multiple Dispatch）特性，让方法的选择真正基于所有参数的类型，而非仅仅是接收者（self），这在处理复杂的交互式系统时，显得尤为强大和直观。这本书成功地将理论的深度和实践的可操作性结合起来，让读者能将那些高深的理论立即应用到解决实际问题中去，而不是让它们停留在纸面上。
评分坦白说，这本书的阅读体验像是一次对心智的“重塑”过程。它不是那种可以轻松翻阅、快速吸收的快餐式教程。相反，它要求你投入大量的时间去消化其中的思想精髓。我发现自己不得不经常停下来，在纸上画出数据结构和函数调用的堆栈，以追踪那些复杂的、嵌套的S表达式的执行路径。书中对LISP的**环境模型**的解释尤为深刻，它将内存和状态的变化描绘得像是一幅流动的图景，而不是僵硬的内存地址操作。对我而言，最有挑战性但也最有收获的部分，是关于编译器的实现原理的讨论。作者并未提供一个完整的编译器源码，而是通过抽象的步骤，展示了如何将LISP代码转化为更低级的指令，这极大地拓宽了我对程序语言理论的视野。这本书的笔触非常严谨，没有太多煽情的语言，但每一个论断都建立在坚实的理论基础之上，这让它具有了极强的权威性和持久的参考价值。它更像是一本为未来的语言设计者准备的“圣经”。
评分这本书简直是为那些厌倦了主流语言的桎梏、渴望真正理解计算核心的程序员准备的“清醒剂”。它的叙事节奏非常独特，有时像一位耐心的导师，缓缓引导你熟悉每一个基本符号；有时又像一位充满激情的演说家，在你面前展示函数式编程的宏伟蓝图。书中对于垃圾回收（Garbage Collection）机制的讨论，从历史沿革到不同算法的优劣权衡，都做到了详尽的覆盖，这让我对内存管理的理解提升到了一个新的层次。我最欣赏的一点是，作者在讨论语言特性时，总是会回到“为什么”这个根本问题上。例如，为什么LISP会选择使用前缀表示法？为什么函数和变量可以共享同一个命名空间（尽管现代LISP有所区别）？这些追根溯源的探讨，使得这本书不仅仅是一本技术手册，更是一部编程语言思想史的缩影。对于想要跳出特定语言的思维定势、追求更普适的编程范式的读者来说，这本书提供的思维工具是无价的。
评分看过SICP了，这本随便翻了翻
评分看过SICP了，这本随便翻了翻
评分看过SICP了，这本随便翻了翻
评分看过SICP了，这本随便翻了翻
评分看过SICP了，这本随便翻了翻
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 book.quotespace.org All Rights Reserved. 小美书屋 版权所有