Java 语言中的函数编程

作为MIT计算机系的第一门专业课，6.001是一门足以让人震惊的“启蒙课程”。

按我的说法，这本书是计算机科学的<新约圣经>。<旧约>估计也只有knuth那个老怪物的<TACP>了。

几个补充资料:

http://jpkc.whu.edu.cn/jpkc/whuok/

武汉大学精品课程:《实变函数与泛函分析》

   《实变函数与泛函分析》是一门大学本科高年级课程，其特色是理论精密，内容抽象，应用广泛，普遍认为是本科阶段最难的课程之一。但它的数学思想与方法密集，信息量大，是掌握现代数学知识，进一步开展理论与应用研究必不可少的基础课程。按照 Dieudonne 的观点，相当于目前大学本科二年级以前的课程讲授的主要是经典数学的内容，在此之后才接触现代数学。《实变函数与泛函分析》正是从“经典数学”向“现代数学”转折的关口，又是联系各门经典课程的纽带。“文革”之前全国只有极少数院校开设过这门课程，随着科学技术的发展，人们认识到该课程的重要性，现在连工科院校都纷纷开设了这门课程。

    该课程集中了作为现代数学基础的基本思想方法，内容可归结为五大论：集合论、测度论、积分论、空间论与算子论。前三论属于实变函数范围，主要讲解Cantor 开创的集合的势论， Lebesgue 关于集合测度，函数的可测性,可测函数积分的理论。 Lebesgue 积分是核心内容。空间论和算子论属于泛函分析，主要讲解空间的线性结构和度量结构以及二者的结合，这里包括了赋范空间，内积空间，它们的拓扑特征、空间结构等。对于算子论，主要讲解关于算子的三大定理（共鸣、开映射与闭图象），关于泛函的延拓定理和共轭算子，紧算子的基本性质以及谱论知识。在教学中，我们精简了以往一些繁琐的内容，突出理论系统，还适当引入一些较为现代的内容（例如关于 σ －代数的知识，抽象测度的 Radon-Nikodym 定理的新证明，严格凸与一致凸空间的性质等）。

    通过本课程的教学： 1 、 要使学生掌握 Lebesgue 积分的基本理论、思想与方法，为以后进一步应用现代分析普遍使用的这一基本工具打下基础。2 、使学生初步掌握有关空间和算子的基本理论和思想方法。并对于现代数学中公理化，抽象与具体、理论和应用密切联系的特点有所认识。3 、通过与其他学科的联系，加强学生对于数学思想、方法的内在联系和一致性的认识，从整体上提高学生的数学素质。

    从 80 年代初开始，武汉大学数学系就为本科生各专业开设了《实变函数与泛函分析》课，申请人 80 年代中期开始讲授这门课程， 90 年代初该课程被学校审定为主干课，申请人被确定为课程主持人。授课组目前由 3 人组成, 担负着全院四个专业的课程教学任务和外系以及研究生同类课程的教课任务。

    我们十分注重教改和教材建设 , 几年来花费了大量时间和精力编写了从本科生到研究生的系统教材 4 部，翻译出版了世界名著，形成了一个系列，作为配套的教辅书《实函与泛函题解》也正待出版。在教材中我们充分地吸取了国内外先进教材的长处, 对内容做了精心选择, 突出重点,去繁琐,留精悍。在不降低理论深度的情况下,适当精简了内容。材料选取适合四个专业的需要。对于教材我们做到精益求精，随着教学实践，不断改进，坚持特色，避免与人雷同。

    以《泛函分析基础》为例，多年的实践表明这些教材总体上品位高，与国内有名的教材相比，我们的教材显示了简捷、明快、方便使用等特色，得到有关专家好评，目前国内已有多所院校采用。

    针对课程特点，在授课中我们做到抽象的概念几何化、直观化；理论与应用并重，与实际例子结合。在授课中，我们还注意讲清该理论系统与以往课程如微积分、复变函数、微分方程、代数学、拓扑学的密切联系，使学生加深理解、牢固掌握。最近时期我们正在有步骤地采用多媒体教学，充分发挥现代教学手段的优势，进一步的探索和完善尚在进行中。


关于巴赫的音乐，可以通过一搜的MP3搜索到很多巴赫音乐的mid版本：

http://music.yisou.com/

在武大的那个页面里，点击授课教案，就可以看到一个目录，其中“泛函分析，第一章第五节”就是讲不动点定理的。

冒昧的问一句，IT 6001 究竟是哪本书啊？书名和作者分别是什么？好像以前在论坛上看到过，现在搜索不到了。国内市面上能买到么？我想去冲冲电。^_^

:oops: , 不好意思，上GOOGLE查了一下就查到了，是6.001 - Structure and Interpretation of Computer Programs 这本书吧。书店里面看到过的。
在MIT网站上也有电子版本的，可以在线看，不过看起来有点吃力，先不说英文，眼睛吃不消啊。这里是链接：http://mitpress.mit.edu/sicp/full-text/book/book.html

Structure and Interpretation of Computer Programs
此书是MIT 6.001的教科书，作为本科CS and EE学生的第一门课它并不完全着眼与语言（比如fpl），而是更着重于怎样让学生了解各种编程的模型，它的目标是让学生了解怎样处理大规模程序的复杂度。
作者把全书在网上公开了：
http://mitpress.mit.edu/sicp
MIT 6.001的教学录像http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/

国内有裘宗燕的翻译，但是我觉得翻译的不是太好。毕竟这种东西不是 j2ee，C#之类的working knowledge，很多东稀里糊涂混过去弄个大概是不行的。
所以我强烈不推荐看中文版。

我说老庄阿，看泛函这东西意义不是太大，这不是科普读物。如果你没有数学的科班训练，估计难比登天。对于不动点定理，只要了解就可以了，至于更加深入的lambda calculus你可以看这个，希望你不会晕菜赫赫。

谢谢，我先啃啃看:P