Re: [心得] 讀書會現狀報告

看板b95902xxx作者annunaki (空空散人)時間18年前 (2006/08/28 16:59)推噓3(3推 0噓 4→)

留言7則, 4人參與討論串2/2 (看更多)

※ 引述《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

08/28 17:33, , 1^F

08/28 17:33, 1^F

推

sorryla

08/28 18:19, , 2^F

08/28 18:19, 2^F

※ 編輯: 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)

推

angela7736

08/28 20:03, , 3^F