※ 引述《annunaki (空空散人)》之铭言： 这两次的聚会大家至少都有参加一次，这点算是成功的XD （好卑微的愿望......） 基本上，现在有两个问题：语文和内容。其实英文是不是问题的问题，至於内容的话，也是没有什麽预备知识的，我想有参与意愿的同学应该不会被这种小挫折击倒。 但是如果说下次还是不行的话，那可能就得做出一些调整，有人提议换书，我觉得可能采用并行的方法，但是未经讨论，所以还是交给大家投票吧。 请在推文中选择换书／并行，并且请提出书名。 目前身在北区的其他同学有意愿的话也可以参加，时间固定为周六上午九时，我是联系人。 基本上希望能够办成长期的读书会，如果有意见的话请提出讨论吧。 ------ 附上有人的提议： The Art of Computer Programming by Donald E. Knuth (就是图灵奖得主高德纳教授XD) 这是书 http://www.amazon.com/gp/product/0201485419/sr=8-1/qid=1156755670/ref=pd_bbs_1/103-7308529-0391820?ie=UTF8 书籍资料与Errata http://www-cs-faculty.stanford.edu/~uno/books.html wikipedia上的作者简介与书简介 http://en.wikipedia.org/wiki/Donald_Knuth http://en.wikipedia.org/wiki/The_Art_of_Computer_Programming ------ 上次的一些资料： From Wikipedia http://en.wikipedia.org/wiki/Alan_Turing http://en.wikipedia.org/wiki/Alonzo_Church http://en.wikipedia.org/wiki/Stephen_Cole_Kleene http://en.wikipedia.org/wiki/Mathematical_Logic http://en.wikipedia.org/wiki/Turing_machine http://en.wikipedia.org/wiki/Type_theory http://en.wikipedia.org/wiki/Lambda_calculus From Mathworld (http://mathworld.wolfram.com/) http://mathworld.wolfram.com/Logic.html http://mathworld.wolfram.com/LambdaCalculus.html 进阶读物： Mathematical Logic by J. Donald Monk http://www.amazon.com/gp/product/0387901701/sr=8-2/qid=1156756419/ref=sr_1_2/103-7308529-0391820?ie=UTF8 Introduction to the Theory of Computation by Michael Spiser http://www.amazon.com/gp/product/0072322004/ref=nosim/103-7308529-0391820?n=283155 Introduction to Languages and the Theory of Computation　by John Martin http://www.amazon.com/gp/product/0072322004/ref=nosim/103-7308529-0391820?n=283155 此外，如果我没有记错的话，语言学大师Noam Chomsky的研究也与这相关，有兴趣的人可以查阅他的语法学，那里面有涉及某阶语法与特定自动机的对应。 这里还有一本跟我们现在阅读同级的教材： Mathematical Logic by H.-D. Ebbinghaus, J. Flum, W. Thomas http://www.amazon.com/gp/product/0387942580/sr=8-3/qid=1156756922/ref=pd_bbs_3/103-7308529-0391820?ie=UTF8 对於擅长代数的人，或许希望可以看到一些代数的应用，对於半群理论的重大突破-Krohn-Rhodes theory的确可以用在自动机理论上，不过我不太懂他在做什麽，有兴趣的人去看书吧XD Algebraic Automata Theory by M. Holcombe http://www.amazon.com/gp/product/0521604923/sr=1-1/qid=1156756773/ref=sr_1_1/103-7308529-0391820?ie=UTF8&s=books ------ 附上其他提案： 有人提案念I2A，我建议这个当最糟糕的情况吧，可以先念Knuth XD 有人提案念费曼演讲集，这个就交给大家表决了。 现在大致上是这样： 第一个议题：同时进行数本还是一本？若数本，增加哪些？ 第二个议题：是否换书？若是，换成什麽？ 然後选项有： (1)原书 (2)Knuth (3)I2A (4)Feymann 大家集思广益一下吧，可以丢我水球或在msn讨论。 -- "A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal Turing Machines." －－Alan Turing --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.139.232.129 -- "All science is either physics or stamp collecting." －－Ernest Rutherford --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.229.30.13 ※ 编辑: annunaki 来自: 61.229.30.13 (08/28 18:41) ※ 编辑: annunaki 来自: 61.229.30.13 (08/28 18:47) ※ 编辑: annunaki 来自: 61.229.30.13 (08/28 18:49)