如果您修過這門課，可以成為第一位留下經驗的人。
113 學年第 2 學期 · 4789
決策程序與密碼驗證應用
Decision Procedures with Applications to Cryptographic Verification
校際課程 選
學年學期
113 學年第 2 學期
開課序號
4789
開課代碼
ABC8743
分類
選
學分
3.0
限修人數
10 人
授課教師
蔡明憲
開課系所
9MAB 校際臺科大（碩）
組
A
班
碩博
必／選
選
全／半
半
上課時間與教室
週二 6–8 TR-611
限修條件
◎課程不開放上修
備註
管理學院 ; 資訊管理系 ; 開放外系研究所選課、加退選開放全校大三、大四選修、甲組課程(適用於110-111學年度入學)、甲組博班與資安碩班課程(適用於112學年度起入學) ; 限修學制：碩、博
資料擷取時間：2026-09-10 03:59:17
評價 尚無評價，展開查看
撰寫評價展開表單
請先登入。一般電子郵件可註冊，撰寫評價前需完成師大學校信箱驗證。
登入歷次開課 2 筆同課名與同教師紀錄，展開查看
| 學年 | 學期 | 開課序號 | 系所 | 組 | 班 | 學分 | 限修人數 | 時間 | 教室 | 評價 | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 114 | 2 | 3404 | 9MAB 校際臺科大（碩） | A | 碩博 | 3.0 | 10 人 | 週二 6–8 | — | 0 則 | 查看 / 評價 |
| 113 | 2 | 4789 | 9MAB 校際臺科大（碩） | A | 碩博 | 3.0 | 10 人 | 週二 6–8 | — | 0 則 | 目前頁面 |