CS领域介绍 - 台大电机系.DOC

CS領域介紹6/29/05 領域發展沿革科學與工程的結晶。它在20世紀最後的三十年間興起成為一門獨立的學科，並發展出自己的方法與術語。計算機科學的大部分研究是基於Von Neumann Computer和Turing Machine。 Von Neumann Computer是第一個實體電腦。 Turing Machine並非實體機器。他是一種將實際問題表達成可以在實體電腦自行運作的方式。因為提出Turing　Machine，Allen Turing被視為現代計算機科學的開山鼻祖。 計算機科學領域的最高榮譽就是ACM設立的Turing Award，被譽為是計算機科學的諾貝爾獎。獲獎者都是本領域最為出色的科學家和先驅。 Allen Turing提出並証明若干現實的問題可以用抽象的Turing Ｍachine表達。這些Turing Machine化後的問題，可經過實體電腦的運作自動求得解答。簡單的說，以Ｔuring Machine的方式我們可以定義實際問題中牽涉的資料與計算。有點類似如何將攝氏轉華氏溫度的問題規劃編寫成電腦程式，然後在像Ｖon Neumann Computer這樣的實體電腦上自動執行。 現在看起來這樣的概念似乎沒什麼了不起，但是在一個世紀前提這樣的idea著實讓很多科學工程界的專家學者瞠目結舌。Turing Machine開啟了CS中理論與軟體發展的先河。計算理論，演算法，資料結構，程式語言，資料庫系統，人工智慧， 軟體工程，機器學習，計算機圖學等研究主題先後出現。 Von Neumann Computer之後計算機硬體設計也逐漸成長。帶領計算機結構，作業系統，編譯程式，分散式系統，平行處理，與計算機網路等題目的衍生。現今除了極為普及的個人電腦外，科學家也研究其它種類的電腦，例如在實體的平行電腦和在理論層面上的機率電腦、oracle 電腦和量子電腦。但是整體來說，電腦只是一種計算的工具，CS領域並不侷限在「做電腦」，著名的計算機科學家 Dijkstra就這麼說「計算機科學並不只是關於電腦，就好像天文學並不只是關於望遠鏡一樣」。 ＂Computer Science is no more about computers than astronomy is about telescopes. ＂ -- E. W. Dijkstra 重要探討課題。目前在領域重要探討課題如下： 台灣經濟發展驅動力，已由一九六Ｏ至七Ｏ年代資本密集階段，進展到八Ｏ年代技術密集階段，進入廿一世紀將是以知識驅動創新與成長的階段。由世界經濟論壇（World Economic Forum, WEF）所發行之二ＯＯ二一二ＯＯ三年全球競爭力報告結果，台灣在「創新政策」與「創新聚落」排名分居第五位與第四位，代表台灣在智慧財產權保護以及政府提升產業競爭力之政策已具成效。二ＯＯ四年台灣資訊產業產值為六八四億美元（含海外生產），而國際主要資訊大廠對台灣資訊採購金額超過五百億美元，顯示台灣已成為全球資訊軟硬體重要供應地區，且主要為資訊大廠進行代工生產，人才需求若渴。 相關基礎課程 網路與多媒體實驗 圖一.台大電機系CS組課程流程圖 計算機理論 離散數學 正規語言 自動機理論 圖學理論與應用 計算理論 電腦輔助驗證 計算機結構 計算機結構 高等計算機結構 計算機容錯 平行計算機結構與應用 軟硬體共同設計 計算機軟體 資料結構 資料結構與程式設計 物件導向程式設計 程式語言 演算法、高等演算法 人工智慧 軟體工程 資料探勘 密碼學 計算機網路 電腦網路導論 網路程式設計 網路與電腦安全 網路模擬與測試 多媒體網路 無線網路與行動計算 智慧型代理程式設計 計算機系統 作業系統、高等作業系統 編譯程式 資料庫系統 分散式計算系統 嵌入式系統專題 計算機程式計算機概論 計算機結構 資料結構 資料結構與程式設計 電腦網路導論 離散數學 物件導向程式設計 U高等計算機結構 U計算機容錯 U平行計算機結構與應用 U軟硬體共同設計 程式語言 演算法 U編譯程式 U網路程式設計 U電腦與網路安全 U多媒體網路 U無線網路與行動計算 U智慧型代理程式設計 正規語言與自動機理論 U圖學理論與應用 U軟體工程 U高等演算法 U人工智慧 U密碼學 U資料探勘 U高等作業系統 U分散式計算系統 U嵌入式系統專題 U計算理論 U電腦輔助驗證 U資料庫系統 作業系統 U 低功率高階層合成與最佳化 U