[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'14)

看板Math作者時間11年前 (2014/05/14 14:03), 11年前編輯推噓4(4推 0噓 32→)
留言36則, 6人參與, 最新討論串1/1
「只要對 theoretical computer science稍微有興趣的人， 沒去一定會後悔得哭出來！特別今年是關於languages 的主 題，就是那些 type systems、denotational semantics 之 類的東西！跌斷手都要去的呀！」 --歷任參加者A（兼講師） 「這些人超有誠意的！講什麼東西都怕你不懂，從最最基礎的 東西開始解釋，哪像某物理系暑期課程，老師一上台就『我 assume 你們都有點 xxx 的基礎…… 』 XD」 --歷任參加者B（數學系參加者） 「學到了非常多東西，也認識了一些很厲害的朋友。另外也看 到了很多的外國講師（據說都是大師！）。最後一天考完還有 pizza吃到飽！想學些新東西的同學一定要來參加一下！」 --歷任參加者C 「自從連續參加兩年 FLOLAC 之後，雖然從此每次考試都沒有 一百分，但還是學到不少東西，交了不少新朋友，還找到碩班 指導教授……那麼好康的課一定要來阿～～～（激動）」 --歷任參加者D 「FLOLAC'12 表面的課表雖然是邏輯與函數式編程，內容卻顛 覆了我對程式設計的認知，例如好的程式語言竟然可以由數學 邏輯支持而非完全依賴工程經驗。」 --歷任參加者E（資訊系參加者） 2014 「邏輯、語言與計算」暑期研習營暨學分班 (FLOLAC '14) http://flolac.iis.sinica.edu.tw/flolac14/ 現在就報名旁聽-----> email 至 jaiyalas@iis.sinica.edu.tw 現在就準備選課-----> 非台大學生6/4, 5；台大學生6/12, 13 日期：2014 年 6 月 30 日 (週一) 至 7 月 11 日 (週五)，共計十天。 時間：每週一至週五早上九點十分至下午四點二十分。 地點：國立臺灣大學，預計將在新生教學大樓。 對象：對數理、邏輯與編程感興趣的大學或研究所在學學生及相關行業工作者。 簡介 本課程將講授程式語言與型式驗證領域之入門理論與知識，包含邏輯、λ演算 (Lambda Calculus)、函數編程 (Functional Programming)、型別系統 (Type System)、 語意 (Semantics)、領域特定語言 (Domain-Specific Languages)等等，希望培養學生以 型式邏輯進行清晰思考的能力，了解邏輯與程式語言、型別系統的密切關係，以及型別系 統在程式語言中扮演的角色，使學生能以歸納、遞迴方式理解並解決程式設計問題，能運 用軟體工具輔助邏輯推理並證明程式之正確性，並具備在程式語言相關領域進行研究的能 力。 自 2012 年起，本研習營正式成為台灣大學暑修課程，針對大學部學生開課，但亦歡 迎研究生選修。台灣大學學生可透過國立台灣大學暑期課程網選課，有學籍之其他學校學 生可透過校際選修選課。無學籍之社會人士也可旁聽。 課程安排、報名資格、費用、其他注意事項等詳細資訊詳見課程網頁 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.136.86.37 ※ 文章網址: http://www.ptt.cc/bbs/PLT/M.1400035734.A.5FD.html ※ 編輯: viw (140.112.4.182), 05/14/2014 14:04:08
→
05/14 14:10, , 1F
敬秉版主：轉錄網宣至此本意為分享暑期研習營，
05/14 14:10, 1F
→
05/14 14:10, , 2F
其中與邏輯、語言相關等內容除了給資訊相關學生外
05/14 14:10, 2F
→
05/14 14:11, , 3F
也相當適合數學主修者；如有不妥再請版主告知！
05/14 14:11, 3F
推
05/14 15:43, , 4F
推!
05/14 15:43, 4F
→
05/14 18:19, , 5F
真的適合超級初學者嗎??
05/14 18:19, 5F
推
05/14 18:59, , 6F
請問旁聽的話是不是也受限於報名資格呢 謝謝
05/14 18:59, 6F
推
05/14 21:55, , 7F
以這個研習營教授的程式設計來說, 說不定沒學過C語言
05/14 21:55, 7F
→
05/14 21:55, , 8F
也不錯(?) 雖然有點難說
05/14 21:55, 8F
→
05/14 21:55, , 9F
a大是被邏輯吸引嗎
05/14 21:55, 9F
→
05/14 22:00, , 10F
hahahahahahahahahah 我一定會跑去聽的 太銷魂了
05/14 22:00, 10F
→
05/14 22:00, , 11F
只是還是忍不住好奇先問問看是不適合初學者><
05/14 22:00, 11F
→
05/14 22:01, , 12F
本來要讀邏輯學的, 結果沒時間心力都得先擺高微
05/14 22:01, 12F
→
05/14 22:01, , 13F
所以現在邏輯學類的知識仍停留在初學者level
05/14 22:01, 13F
→
05/15 00:04, , 14F
今年的邏輯的確很吸引人 ...
05/15 00:04, 14F
→
05/15 11:22, , 15F
看題目是初學者等級的呀
05/15 11:22, 15F
→
05/15 11:24, , 16F
其實把Foundations of Programming Languages這本書
05/15 11:24, 16F
→
05/15 11:24, , 17F
看完就都會了 (但這本有800多頁XD
05/15 11:24, 17F
→
05/15 13:36, , 18F
Harper 那本沒有 DTP 跟 Martin-Lof's type theory
05/15 13:36, 18F
→
05/15 13:37, , 19F
也沒有 denotational semantics
05/15 13:37, 19F
→
05/15 13:37, , 20F
真的有關聯的大概就是 op. sem.
05/15 13:37, 20F
→
05/15 13:43, , 21F
結果竟然是在數學板討論最多lol
05/15 13:43, 21F
→
05/15 13:55, , 22F
唸書的時候理論組都是數學背景 XD
05/15 13:55, 22F
→
05/15 16:25, , 23F
我說的是Mitchell的Foundations for Programming Lan
05/15 16:25, 23F
→
05/15 16:26, , 24F
guages我只有啃了前幾張因為沒有打算學category theo
05/15 16:26, 24F
→
05/15 16:26, , 25F
ry而程式語言理論的精髓其實應該是category theory
05/15 16:26, 25F
→
05/15 16:30, , 26F
其實非常可惜的是歐洲同名的暑期學校是真的有語言學
05/15 16:30, 26F
→
05/15 16:30, , 27F
的內容甚至可以說大部分是語言學導向 而台灣這個則是
05/15 16:30, 27F
→
05/15 16:31, , 28F
完全偏向CS
05/15 16:31, 28F
→
05/15 16:32, , 29F
真的是數學版討論最多XDDD
05/15 16:32, 29F
→
05/15 16:32, , 30F
過來人經驗：只修過數學系計程，大三暑假去修，
05/15 16:32, 30F
→
05/15 16:32, , 31F
完全沒任何障礙！（舉手）
05/15 16:32, 31F
→
05/15 17:36, , 32F
噢喔噢！但說 cat. 是精髓有點太偏了 ...
05/15 17:36, 32F
→
05/15 17:43, , 33F
要研究model-theoretic的type theory一定用到categor
05/15 17:43, 33F
推
05/15 18:30, , 34F
05/15 18:30, 34F
→
05/15 18:47, , 35F
啊，我拖稿了 =_=
05/15 18:47, 35F
→
05/15 18:56, , 36F
不想寫得原因是一開始忘了放 product 要含糊帶過 ..
05/15 18:56, 36F
‣ 更多 viw 的文章
文章代碼(AID): #1JSmSLqe (Math)