This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
start [2019/04/19 15:19] yfc [最新消息] |
start [2019/04/19 15:26] (current) yfc [最新消息] |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== 最新消息 ====== | ====== 最新消息 ====== | ||
- | + | * (2017/09/08) Seminar講者資訊請見:[[https://sites.google.com/view/mikehsiao/home]]。 | |
- | * (2019/04/19) 新增線上報名截止日。台大本校生線上報名於 XXX 截止,外校生報名於 XXX 截止。請務必報名並依選課程序進行選課、註冊等。 | + | * (2017/09/06) 上傳 [[course:vdm|VDM]] 投影片與作業,星期四會發講義,可以不需要自己印。 |
+ | * (2017/09/05) [[course:computation|Computation]] 與 [[course:smt|SMT]] 課程的習題解答皆有更新,請重新下載。 | ||
+ | * (2017/09/05) 更新 [[course:seminar|Seminar]] 演講資訊。 | ||
+ | * (2017/08/22) 更新旁聽名單,少複製了四筆資料。 | ||
+ | * (2017/08/21) 公布[[https://docs.google.com/spreadsheets/d/1t7rdZYZOoevBP8teqhec59YCVm3QhFYjvsDpe9nHmLU/edit?usp=sharing|旁聽名單]]。 | ||
+ | * (2017/08/17) [[https://goo.gl/forms/LZnLDzijQ5tQHt4O2|旁聽報名]]將於 8/20 17:00 結束,名單將於 8/21 公布。 | ||
+ | * (2017/08/02) 課程異動,Boolean Satisfiability and Its Applications to Synthesis and Verification 與 Verification of String-Manipulating Programs 對調。 | ||
+ | * (2017/07/24) 收到校方通知,新增線上報名截止日。台大本校生線上報名於 7/31 截止,外校生報名於 7/25 截止。請務必報名並依選課程序進行選課、註冊等。 | ||
+ | * (2017/06/30) 台大暑期課程網[[https://coursemap.aca.ntu.edu.tw/summer/asp/index.php/reg_cou|台大本校生登記]]開跑,請欲修課的同學們前往登記以利開課。<color red>登記的同學仍請務必於選課期間選課</color>。 | ||
====== 宗旨 ====== | ====== 宗旨 ====== | ||