Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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>​
 ====== 宗旨 ====== ====== 宗旨 ======