Re: FLOLAC 2008 「邏輯、語言與計算」暑期研習營

看板CSSE (電腦科學及軟體工程)作者demintree (Mirabelli's back in tow)時間16年前 (2008/04/27 04:30)推噓1(1推 0噓 2→)

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

: -- : ※ 發信站: 批踢踢實業坊(ptt.cc) : ◆ From: 123.192.157.71 : 推 popux:請問可以旁聽嗎 04/24 21:33 : 推 Wolfram:我也想知道 04/25 16:09 : → noctem:我去問一下之後再答覆 :) 04/25 23:20 : 推 demintree:直接去報名就好啦~~~ 04/26 02:12 : → demintree:去年我有參加，我覺得收獲不少 04/26 02:13 : → demintree:不過進修推廣部的學分，很多研究所都不能抵就是了 04/26 02:14 : → demintree:去年有人旁聽，但為數不多...真的修下去收獲會比較多 04/26 02:15 : 推 yen3:可以旁聽的話，我就可以向系上學弟妹推薦了:) 04/26 10:54 : 推 popux:大學部的去會不會聽不懂不知道需要什麼預備知識 04/26 14:56 我說明一下好了，這門課的重點就是邏輯，因為只有短短的兩周的時間，所以一切的進度都是很快的像是第一次上邏輯課就會把經典邏輯講完第二次就會把intuition logic、nature deduction講的差不多然後還會教你寫functional language，應該還是教ocaml 進階的課程幾乎都是以邏輯和functional language做為基礎然後我記得，去年中研院上課有提供便當，而且還不錯吃XD 建議對邏輯要有一點了解，至少知道first oder language會比較輕鬆 functional language是從頭教的，比較不用擔心重點是你這兩個禮拜最後把其他計畫完全空下來，因為教的東西很多，每一堂課都會出作業，回去看懂書和寫作業將會花你不少時間對邏輯以及程式推導有興趣的人，只要你肯花時間，絕對可以學到不少東西 -- 我是不太建議旁聽啦，因為教的東西很多、很廣很容易一下子就跟不上進度了，反而是你原本就對這些比較了解的，旁聽才有效果 -- -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.113.195.214