Differences
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>。 | ||
| ====== 宗旨 ====== | ====== 宗旨 ====== | ||
Last modified: 2019/04/19 15:26
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International