→ demintree:btw 我去年也是大學部畢業，所以大學部畢業也可 04/27 04:30
→ DreamLinuxer:樓上超強者 04/30 20:29
推 spanky:樓上超強者 06/03 19:06
: --
: ※ 發信站: 批踢踢實業坊(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