|
課程名稱 |
資訊工程理論基礎
Computing Theory |
|
開課學期 |
100-1 |
|
授課對象 |
資訊工程學研究所 |
|
授課教師 |
顏文明 |
|
課號 |
CSIE7110 |
|
課程識別碼 |
922 M0520 |
|
班次 |
02 |
|
學分 |
3 |
|
全/半年 |
半年 |
|
必/選修 |
必修 |
|
上課時間 |
星期四A,B,C(18:25~21:05) |
|
上課地點 |
資101 |
|
備註 |
限碩士在職專班生
總人數上限：80人 |
|
|
|
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
1. Problems and Algorithms
2. Turing machines
3. Computability
4. Boolean logic
5. First-order logic
6. Relations between complexity classes
7. Reductions and completeness
8. NP-complete problems
9. coNP and function problems
10. Randomized computation
11. Crytography
|
|
課程目標 |
1. Problems and Algorithms
2. Turing machines
3. Computability
4. Boolean logic
5. First-order logic
6. Relations between complexity classes
7. Reductions and completeness
8. NP-complete problems
9. coNP and function problems
10. Randomized computation
11. Crytography
|
|
課程要求 |
|
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
|
|
參考書目 |
Textbook: Computational Complexity, by Christos H. Papadimitriou, 1994 |
|
評量方式
(僅供參考) |
|
|