共享计算理论PPT，兼夸科学网的稳定(唐常杰）

   上周，有博友写邮件索取可计算理论课程的PPT，说是原来校园网上的网址下载起来不顺畅，笔者建议在出版社网址下载，似乎上周还能解决问题；本周又收到几位朋友邮件，称出版社网址下载也慢，时有错误，建议我把PPT放在科学网群组（BBS）中，夸这里比较稳定。今天上午把课件PPT放到了科学网群组栏目上（点击这里）。

   果然，几个小时后，网友反馈不错，试了一下，下载起来十分顺畅，减少朋友们索取和笔者回复邮件的麻烦，觉得可以写篇博文夸一夸。

   网站出故障是网站的必修课，每个网站都出过技术故障.从用户角度看，好网站 好就好在故障率小一点，排除故障快一点。与校园网、和小机构的网站相比，科学网是很不错的。

   思量原因，不只是因为设备较好，还因为这里的被服务对象多，他们要求较高，夸奖起来最多说个“不错”,而经常的不客气的敲打，使得服务方足够重视，参与维护的技术人员给力，排除故障及时，等等。

   关于课件的说明：
   课程名称：可计算理论 Theory of Computing

   配合教材 计算理论导引，Introduction to the theory of computing，

             Michael Sipser（MIT）著，

             有中译本，由唐常杰 等译，机械工业出版社（华章）出版。
   PPT说明 2010.10版，共1800⁺ PPT页面，以及若干个DOC、HTML文件
           此教案也由机械工业出版社作为电子出版物出版， 2003.6--2010.10，

           光盘出版号7-900136-60-6 TP46，一直是免费共享。

    三个下载网址：

         科学网：点击这里   （版本更新较快,下载速度最快）；

         校园网：点击这里   (版本更新较快，不需账号登陆，在本校内下载，似乎速度还可以）；

         出版社（华章）：点击这里 （不需账号登陆，最近速度稍慢，期待改进）。

    把共享的资源放在科学网的“主页-群组-XX组”栏目中,是个不错的注意，操作容易，几乎不需要学习。下载要求用BBS或博客的账号登陆，BBS账号申请过程比较快捷，不一定开通博客。

    博文太短，为了不辜负博友的一次点击，下面把翻译此书第二版（2005）时，用了一点趣味性语言写的译者序放在下面：

    几年前为计算理论课程选择教材时，海外友人介绍了眼前这本“由MIT的名师Michael Sipser写的名著 Introduction to the Theory of Computation. PWS Publishing Company”。几年教学实践表明，此书前三章可供高年级本科生选修，后七章足够研究生钻研，是同类教材中，我教得最愉悦，学生学起来最有兴趣的一本教科书。

    可计算理论课程是计算机学人的修养课、内功课。很难断言某章某节能够立竿见影地用于读者的某项科研。我的学生（攻读数据库、数据挖掘和知识工程方向）学习此课一两年后，以过来人身份发出感慨，这门课使他们思路开阔、思维严密、观点提高、点子增多，从而终身受益。在他们的工程性论文中也不时出现关于可计算性和复杂度方面的亮点，提高了论文的深度和质量。

   1979年初入此门时，读过Ｊ.D.Ullman和J.E.Hopcroft的书以及S.Eilenberg的名著“语言，自动机和机器”，在S.Ginsburg门下研究数据库理论时，学过他的大师之作《前后文无关语言理论》。教学中也用过H. R. Lewis的《计算理论基础》。上述书籍都是好书，但对于非纯理论方向的初学者，还是觉得Michael Sipser的这本书更为合适。

    此书以注重思路、宽奠基础、深入引导为特色。全书勾画了理论计算机科学的知识框架，囊括了形式语言、自动机、图灵机、可计算性和计算复杂度等重要主题，试图为读者的计算机生涯奠定一个宽广坚实的理论基础。作者强调思想方法，难点均以思路先行；介绍背景如远山淡抹，化繁为简似近水浓描；释难以例，不拘泥于技术细节，铺垫伏笔，常迸发在数章之后。这些亮点表现了作者对问题的深刻理解和娴熟的教学艺术。每一主题的后部，给出精彩结果以作启发，展示待解问题以设悬念，引导读者向此领域中的高层次问题攀登。全书文笔流畅，读来亲切，开卷读之概念易懂，合书思之脉络不忘。

   在同类书被采用列表中，此书已列前茅。2005年12月，在Google中以作者名和书名搜索到相关项目8,420项。在http://www.amazon.com /gp/ product/ customer-reviews中有许多读者评论，称此书“best”，“one of the best” 的赞口不绝，也有人批评此书第一版无习题解答。所幸，第二版已弥补这一不足。新版修正了若干印刷错误，字句更加流畅，增加了部分内容、部分启发性习题、部分难题解答和教师教学辅助材料。一些重要内容，如Myhill-Nerode 定理和Rice 定理放到了专门的小节。…….

   此书依据英文第二版原文翻译。翻译团队成员在几年前读过由北京大学张立昂教授、王捍贫教授和王雄老师合作翻译的第一版，翻译中不可避免地受到他们准确的词汇，流畅的文风影响。在此意义上，新版译者不过是接过了先行者的接力棒，再把接力赛推进了一程。借此机会，对三位先行者表示衷心的感谢。

    在多年的教学实践中，积累了1600页PPT双语电子教案，一直放在出版社和个人网页上自由下载，奉献给我国的读者。

   相关博文（资料下载）
     共享计算理论PPT，兼夸科学网的稳定（计算理论导引 PPT）
     两句真心话 曁开博词 （下载数据库系统概念PPT）
     计算机科学， 大一学生怎样来爱你 (本科新生入学教育PPT)
     醒事”就在一瞬间 --- 一个真实的故事 (与研一同学谈人生、科研和规划 PPT））

        资料多宝阁兼淘宝地—夸科学网群组兼说积分技巧

    有博友文问 数据库系统概念PPT，可在下列网址下载

       数据库系统概念双语电子教案（2002-2009逐年更新，2600个PPT页面。

       出版社（华章）：点击这里   

       校园网：点击这里 

       科学网  点击这里

    其它系列博文的入口   唐常杰博客主页   科学博客主页