美計算機科學本科現(xiàn)狀

字號:

自20世紀40年代世界第一臺現(xiàn)代計算機在美國誕生以來,美國一直執(zhí)全球計算機學界之牛耳,這同時也是美國計算機產(chǎn)業(yè)界占據(jù)絕對優(yōu)勢的重要原因之一。我們成批量地引進的國外眾多優(yōu)秀教材絕大多數(shù)也都來自美國。計算機學科仍然在高速發(fā)展,與此對應的計算機人才培養(yǎng)模式也在不斷變化,密切關注和跟蹤國外尤其是美國的教學新動態(tài)乃至培養(yǎng)思路和教育思想,應該是非常有意義的。
    選擇了美國計算機學科負盛名的五所高校,對目前各校計算機科學(Computer Science)專業(yè)的本科教學體系進行了一些分析。
    斯坦福大學
    斯坦福大學擁有獨立的計算機科學系。瀏覽該校的教學手冊,具特色的恐怕要算多門科普性計算機知識講座了,一般有兩到三個單元,涉及面非常之廣,從量子計算到數(shù)字演員,從計算科學的偉大思想到網(wǎng)絡安全,從網(wǎng)上拍賣到使用元編譯發(fā)現(xiàn)大型開放源代碼軟件中的大量錯誤,其中還不乏對技術烏托邦、斯諾“兩種文化”、計算機面臨的困境以及迅速發(fā)展所帶來的諸多問題的思考。開課的老師陣容強大,基本上都是響當當?shù)拿淌冢踔涟▓D靈獎得主John McCarthy。用這種講座代替計算機科學導論性質的專門課程,可以充分展示計算機科學的豐富內涵,使學生較早地了解學科的輪廓和脈絡,對于開闊學生視野,啟發(fā)學生的學習興趣也大有好處。由于美國大學中專業(yè)的選擇非常靈活,而近年來計算機學科招生受行業(yè)影響流失嚴重(這種情況甚至驚動了比爾·蓋茨, 2004年微軟到各大高校招兵買馬時,他每站必到,利用自己的明星效應,大講計算機學科的美妙前景),可以想象,這種講座同樣也肩負著吸引學生選擇計算機專業(yè)的重大使命。
    斯坦福大學典型的低年級課程設置如表1所示。
    表1 斯坦福大學低年級主要課程設置
    數(shù)學(至少23個單元)
    數(shù)學 41(課程號,下同) 微積分 I 5
    數(shù)學 42 微積分 II 5
    統(tǒng)計 116 概率論 3~5
    計算機 103 離散結構 4或6
    以下任選兩門:
    數(shù)學 51 微積分 5
    數(shù)學 103/113 線性代數(shù) 3
    數(shù)學 109 應用群論 3
    計算機 157 邏輯和自動推理 4
    計算機 205 機器人、視覺和圖形學數(shù)學方法 3
    科學(至少11個單元)
    物理 53 力學 4
    物理 55 電磁學 4
    其他
    工程基礎(至少13個單元)
    計算機 106 程序設計抽象/方法學 5
    工程 40 電子學基礎 5
    選修課
    技術與社會(3~5個單元)
    進一步的課程設置如表2所示。
    表2 斯坦福大學高年級主要課程設置
    程序設計(2門課)
    計算機 107(課程號,下同) 程序設計范型 5
    計算機 108 面向對象系統(tǒng)設計 4
    理論(2門課)
    計算機 154 自動機與復雜性理論 4
    計算機 161 算法的設計與分析 4
    系統(tǒng)(3門課)
    電子電氣 108B或282 數(shù)字系統(tǒng)或計算機體系結構 4
    計算機 編譯原理 3
    計算機 計算機網(wǎng)絡 3
    計算機 操作系統(tǒng) 3
    應用(選2門課)
    計算機 人工智能 3~4
    計算機 數(shù)據(jù)庫 3
    計算機 圖形學 3
    項目(1門課)
    計算機 至少3個單元
    限選課(多門)
    加州大學伯克利分校
    伯克利的課程設置也有很多獨樹一幟的地方,尤其是在專業(yè)基礎課方面,除了有專業(yè)導引課程“計算機科學專題”之外,對于沒有編程經(jīng)驗的學生,第一門編程課是符號編程入門,采用LISP語言。有一定編程經(jīng)驗或者有自學能力的學生,可以選擇多種語言和環(huán)境的自主學習(Self-paced)課程,包括C、 Fortran、C++、Java,以及UNIX的使用等,這種多元化與伯克利計算機科學與電子電氣工程同系有關。但是所有學生在第二學期都要學習一組獨特的基礎課:61A“計算機程序的結構與解釋”,采用MIT Abelson等編著的同名教材(中譯本機械工業(yè)出版社出版,清華大學出版社出版了影印版);61B“數(shù)據(jù)結構”(教材采用自編講義);61C“計算機結構”(Machine Structures),采用Hennessy的《計算機組織與設計》(中譯本清華大學出版社出版,機械工業(yè)出版社出版了影印版)。這項規(guī)定就是轉校生也不例外,可見其中蘊涵了伯克利多年的教學經(jīng)驗結晶。
    伯克利其他比較有特點的課程還有:將離散數(shù)學和概率論結合講授的CS70,主講是名教授Christos Papadimitriou;CS98-1 編程練習課,以主要大學生編程競賽中的賽題為授課素材;CS 169 軟件工程直接用Kent Beck的《極限編程》(人民郵電出版社出版了中譯本)作為教材,非常超前,但是既然連Pressman的《軟件工程:實踐者方法》新版中敏捷方法都已經(jīng)成為重頭戲,既然IEEE都已經(jīng)開始制定敏捷方法相關標準,這種課程選材也就不顯得那么駭世驚俗了。除了軟件工程課程常見內容外,教學側重實際,貫穿了極限編程的思想,涵蓋UML、JUnit單元測試、軟件架構、設計模式和反模式、重構、CVS版本控制、系統(tǒng)和集成測試,后要求完成一個實際產(chǎn)品,并進行演示。
    UIUC(伊利諾依大學厄班納-香檳分校)
    UIUC的計算機科學專業(yè)創(chuàng)建于1972年,到1986年基本定型,十多年來幾乎沒有什么變化。其教學體系如圖1所示。
    其中,數(shù)值分析方向課程中,Math225為矩陣論,CS257為數(shù)值方法,CS35x代表數(shù)值分析導論、常微分數(shù)值方法、偏微分與數(shù)值逼近和數(shù)值線性代數(shù);
    理論方向課程中,CS173為離散結構,CS273為計算理論,CS37x包括算法、形式方法、程序驗證;
    人工智能方向課程中,CS348為人工智能導論,CS34x包括機器人、機器學習與模式識別;
    軟件方向,CS125為計算機科學導論,CS225為數(shù)據(jù)結構與軟件工程原理,CS31x包括數(shù)據(jù)庫、圖形學、多媒體,CS32x包括軟件工程、操作系統(tǒng)設計、分布式系統(tǒng)、編程語言與編譯器、并行計算、實時系統(tǒng)、編譯器構造、編程語言設計;
    硬件方向課程中,CS231為計算機體系結構I,CS232為計算機體系結構II,CS33x包括計算機組成、VLSI系統(tǒng)與邏輯設計、VLSI系統(tǒng)設計、通信網(wǎng)絡、嵌入式體系架構與軟件。
    可以看到,處在圖1中下面的課程基本上都是在多門中選擇一至三門,整個體系脈絡清晰,具有很高的靈活性。與斯坦福不同的是,UIUC的計算機科學導論課程比較簡單,只有一門為新生開的計算機科學導向課(CS100),而且并非必修。名為“計算機科學導論”的CS125實際上是以Java語言為主的編程入門課,涵蓋了一些算法的內容。此外還有與之配套的實驗課。當然,系里所開的許多面向高年級和研究生層次的講座是對低年級開放的。
    2003年,在工程院院長David Daniel的倡導下,計算機系對教學計劃進行了改革,以反映目前社會、行業(yè)和技術的發(fā)展趨勢。主要的變化有:
    * 在必修要求中增加了兩門編程課:CS241 系統(tǒng)編程,采用Gary Nutt的《操作系統(tǒng)》作為主教材,Stevens的《Unix環(huán)境高級編程》作為編程教材;CS242 程序設計實驗(Programming Studio),教學大綱基本上以Kernighan的《程序設計實踐》為藍本(以上教材機械工業(yè)出版社均出版了中譯本和影印版)。
    * 必修要求中增加了一年的高級項目,強調團隊合作和軟件工程實踐,包括文檔寫作、口頭表達、項目規(guī)劃與管理等,實際上是在實踐中學習軟件工程。這門課也可以用兩學期的軟件工程或者一年的高級論文代替。仍然充分保留了靈活性,有利于因材施教。
    * 增加了CS173 離散結構的學時,部分原CS273的內容移到這里,同時CS273又新增了原CS375的內容。這實際上是提高了對計算機理論的要求。
    * 在專業(yè)課程中增加了數(shù)據(jù)挖掘、信息檢索和高級圖形學。
    CMU(卡內基梅隆大學)
    與MIT、伯克利等學校計算機科學仍然和電子與電氣工程同處一系不同,CMU的計算機科學系成立于1965年,是全美早的,如今它已經(jīng)升格為計算機科學學院。其研究生項目中除了機器人方向與硬件關系較多之外,其他基本上都是純軟的。從這個意義上來說,CMU的教學體系對于偏軟的計算機科學系應該有較大的借鑒意義。
    CMU的教學手冊上沒有從傳統(tǒng)意義上針對計算機科學專業(yè)學生的導論課,雖然有名為“計算機科學偉大思想”的兩學期課程,但是從內容上看應該是離散數(shù)學的替代,因為此外CMU并沒有其他離散數(shù)學方面的課程。此課程沒有教材,內容比傳統(tǒng)離散數(shù)學要靈活得多,涉及概率、代數(shù)、算法、加密理論、復雜性理論、博弈論等,非常注重學習的趣味性和實用性。
    與其他相同,CMU對程序設計的重視也給人留下很深印象:本土新生的第一堂課就是“初中級程序設計”,直接講授Java。然后是中高級程序設計(Java)、C語言編程技巧、高級編程實踐(Java)、程序設計原理(用SML語言講授)。
    目前計算機科學專業(yè)教學計劃中的一個難點,是硬件課程的設置問題。硬件知識體系本身非常豐富,但是硬件課程多了,又削弱了計算機科學專業(yè)的特色。 CMU在這一問題上是怎樣處理的呢?計算機科學學院的現(xiàn)任院長Randal E. Bryant 親自給出了回答,他用15~213“計算機系統(tǒng)導論”一門課(12個單元)完成了硬件知識的教學。這項教學改革的成果就是一本厚達900多頁的書:《Computer Systems: A Programmer's Perspective》(中譯本《深入理解計算機系統(tǒng)》已經(jīng)由中國電力出版社出版)一書。他在該書的序言中說:
    “本課程的宗旨是用一種不同的方式向學生介紹計算機。因為,我們的學生中幾乎沒有人有機會構造計算機系統(tǒng)。而大多數(shù)學生,甚至是計算機工程師,也要求能日常使用計算機和編寫計算機程序。所以我們決定從程序員的角度來講解系統(tǒng),并采用這樣的過濾方法:我們只討論那些影響用戶級C程序的性能、正確性或實用性的主題。
    比如,我們排除了諸如硬件加法器和總線設計這樣的主題。雖然我們談及了機器語言,但是不關注如何編寫匯編語言,而是關心編譯器怎樣翻譯C的各種構造,比如指針、循環(huán)、過程調用和返回,以及switch語句。更進一步,我們將更廣泛和現(xiàn)實地看待系統(tǒng),包括硬件和系統(tǒng)軟件,討論鏈接、加載、進程、信號、性能優(yōu)化、評估、I/O以及網(wǎng)絡與并發(fā)編程。
    這種做法使得我們講授本課程的方式對學生來講既實用、具體,又能實踐,同時也非常利于調動學生的積極性?!?BR>    網(wǎng)站上的一些隨書配套實驗,也獨具匠心。因此此書的成功是水到渠成的。根據(jù)配套網(wǎng)站上的列表,它已經(jīng)被全球80多所院校采用作為教材。
    MIT(麻省理工學院)
    MIT的課程設置,只能用其學生起點高來解釋。該校沒有典型意義上的計算機科學專業(yè),偏軟的只有理論計算機科學和人工智能及其應用兩個專業(yè)。因此沒有類似于其他學校的導論課程。
    在MIT的電子電氣工程與計算機科學系中,所有學生都要參加如下四門課程:6.001“計算機程序的結構與解釋”,當然與伯克利相同,采用的是 Abelson等編著的同名教材;6.002“電路與電子學”;6.003“信號與系統(tǒng)”(自編講義);6.004 “計算結構”(Computation Structures),與伯克利的61C“計算機結構”對等(教材是自編課件)。此外有兩門專業(yè)基礎數(shù)學課:“概率系統(tǒng)分析”(教授自編教材)和“計算機科學數(shù)學”,后者的教材是國外院校普遍采用的Rosen所著《離散數(shù)學及其應用》(中文版由機械工業(yè)出版社出版)。
    對MIT的學生而言,實驗課程有多種選擇:電氣工程和計算機科學實驗,模擬電子實驗,數(shù)字系統(tǒng)實驗,微機項目實驗,半導體設備項目實驗。此外,無論何種專業(yè),都有軟件工程實驗課。值得注意的是,本科生各專業(yè)的必修課程中并沒有軟件工程課程。也就是說,軟件工程的內容都在實踐中完成了。帶軟件工程實驗課的是因為提出Liskov替換原則而知名的女教授Barbara Liskov,她剛剛獲得了2004年度的馮·諾依曼獎。作為美國工程院和藝術科學院的雙院士,她幾十年在軟件開發(fā)研究方面的經(jīng)驗,將有力地保證這門實驗課程的質量。
    分析與總結
    由上面的材料可以看出,各個學校的教學體系之間還是有不小差異的。這首先得歸因于歷史沿革形成的專業(yè)側重、機構設置上的不同。其中MIT算是一極,由于和電子電氣專業(yè)深深地融合,計算機專業(yè)帶有很強的“硬派”色彩。而CMU可以算作另一極,計算機科學有自己的獨立學院,非常罕見,因此它的課程設置 “軟化嚴重”——與硬件相關的只用一門課就解決了。UIUC和斯坦福由于都擁有獨立的科系,所以可以歸入后一陣營。伯克利可以認為處于兩極中間,但是仔細分析起來,它的計算機科學專業(yè)目前雖然仍屬于電子電氣和計算機科學系,但是有相當大的獨立性,1973年創(chuàng)立以來,一直有自己的主席和教學安排,所以離后者更近一些。
    此外,各校在專業(yè)導入課程的設置上差別也非常明顯?;旧峡梢苑譃槿悺0碔EEE-ACM《Computer Curricula 2001》(以下簡稱CC2001)的分法,斯坦福屬于廣度優(yōu)先(有明確的注重廣度的導引課程),MIT的屬于函數(shù)為先(采用函數(shù)式語言),CMU和 UIUC屬于對象為先(直接采用Java)。伯克利有些特殊,它有導引課,但是廣度稍差,緊接著又采用函數(shù)語言,同時開設學生自學為主可以任選的多種語言課程,屬于混合多元型。應該說各個學校在剛入門時如何調動學生積極性,培養(yǎng)對專業(yè)的感情上都有自己的思考。無論哪種類型,將課堂變得有趣,能夠容納更多計算機科學的方面,都已經(jīng)成為一種趨勢。
    無論如何,各校存在的差異并不妨礙各自培養(yǎng)出同樣優(yōu)秀的人才,這也給我們提供了一種有益的啟示,辦學思路和方法應該是因地制宜的。
    當然,總的來說,各學校之間的共性還是主要的。歸納起來,有這么幾個特點,值得我們思考:
    1. 硬件課程整體在減少
    偏軟類的三所院校中,CMU為徹底,硬件課程只有一門課,而UIUC也只有兩門必修(兩門體系結構),斯坦福也是兩門(電子學、體系結構或數(shù)字系統(tǒng))。其中的原因,前面引述的Randal E. Bryant所言作出了解釋,畢竟計算機科學需要關注的在計算機系統(tǒng)層次中已經(jīng)越來越高,底層越來越變得透明了。事實上,CC2001中制定的硬件課程也只有一門。而國內目前一般還開設數(shù)字邏輯、微機原理、計算機組成與結構、微機實驗等硬件類課程。
    2. 程序設計日益重視
    在CMU,UIUC和斯坦福,必修的程序設計類課程往往在四五門左右。伯克利加起來也有四門。MIT雖然沒有大量前導性的編程課程,但是由于在后面計算機系統(tǒng)工程、計算機語言工程、軟件工程實驗、Web軟件工程諸課程都有實際的項目要完成,所以實際學時也很多,UIUC的改革更說明了這一點。同時,還出現(xiàn)了強調提高程序設計技巧,與軟件工程環(huán)境和工具相結合,提倡團隊合作,高級程序設計課程與數(shù)據(jù)結構、算法課融合的趨勢。這方面的代表有斯坦福。該校副系主任Eric Roberts曾執(zhí)教入門類課程多年,總結了一套在語言教學中融入軟件工程和現(xiàn)代程序設計觀念,結合算法和數(shù)據(jù)結構教學的經(jīng)驗。其成果就是《C語言的科學和藝術》和《C程序設計的抽象思維》兩本書(影印版已由機械工業(yè)出版社出版)。作為CC2001工作組兩位主席之一,他在C語言教學中強調庫與接口設計、編程風格的重要性,并進而介紹抽象、封裝的概念,產(chǎn)生了很大影響。反觀國內目前很多學校的語言教學和程序設計教學,不僅學時偏少,與其他課程孤立,而且脫離實際,造成語言學習和相關專業(yè)課學習都變得非常枯燥,不利于調動學生的積極性。
    應該說,這些的教學體系、教材和經(jīng)驗都是豐富的寶藏,值得好好挖掘,比如每門核心課程的教學法,實驗課程的安排,各門課程的銜接,大型項目的選材等。