
圣安德魯大學
Andrews
在頭兩年,你將學習計算機科學背后的基本概念和幾種不同的編程語言。
在第一年的學習中,除了計算機科學之外,你還需要學習至少一個額外的科目。在第二年,你可以繼續學習這個其他科目或完全專注于計算機科學。了解更多關于如何組織學年的信息。
在第三年,你將被介紹給與計算機科學家相關的邏輯基礎,重點是自動推理和可解碼性,以及計算和復雜性理論,包括探索圖靈機和推倒自動機。
你將作為團隊的一員,將軟件工程的概念和實踐應用于一個實質性的軟件工程項目。這個項目貫穿三年級的兩個學期,將為你在工作場所做好準備,在那里與他人合作是必不可少的。
在最后一年,你將進行一個實質性的軟件工程項目。你將設計、指定和構建一個中等規模的軟件系統,或者在一名工作人員的指導下,對這樣一個系統進行正式開發和證明。