這是一個獨特的、跨學科的課程，將培養(yǎng)你成為未來信息和通信技術革命的領導者。作為澳大利亞計算機協會認可的學位，你不僅可以學習先進的計算機技術，有機會完成一個獨特的專業(yè)，還可以培養(yǎng)出卓越的專業(yè)技能，包括溝通和團隊精神。澳洲國立大學計算機系統留學生課程輔導。以下是主要課程。

一、COMP1600 計算機基礎

本課程介紹了一些常用于描述計算和計算系統的形式化符號，用于軟件的規(guī)范和關于程序屬性的數學上的嚴格論證。 以下領域的研究構成了本課程的主干。謂詞微積分和自然演繹，數據類型的歸納定義作為遞歸函數和結構歸納的基礎，形式語言理論(特別是正則表達式，有限狀態(tài)機和上下文自由語法)，以及規(guī)范語言。

成功完成后，學生將具備以下知識和技能：

1.應用標準數理邏輯的概念，對用英語或各種形式符號(一階邏輯、離散數學或霍爾邏輯)表述的形式良好的命題或論證進行證明或反駁。

2.給出一個正則語言的描述，可以是英文的，也可以是正則表達式或語法，生成一個能識別該語言的有限狀態(tài)自動機。同樣地，給定一個確定性或非確定性的自動機，給出它所接受的語言的描述。

3.給出一個簡單數據結構的歸納定義，為該類型的數據寫出一個給定的簡單操作的遞歸定義。給出一些這樣的遞歸定義的操作，用適當的結構歸納原則證明這些函數的簡單屬性。

4.用Hoare邏輯證明簡單程序的正確性。

5.設計一個能完成簡單任務的圖靈機。

二、COMP2100 軟件設計方法學

本課程繼續(xù)建立在前兩門課程的主題上。它側重于構建中等規(guī)模的程序，使用軟件開發(fā)過程中使用的設計模式和工具。學生將進一步獲得使用工業(yè)標準修訂控制和集成開發(fā)環(huán)境(IDE)工具的經驗。學生將學習如何將他們在前幾門課程中學到的編程抽象概念適當地應用到中等規(guī)模的軟件結構中：繼承、通用類型、多態(tài)性、過程性抽象和抽象遞歸數據結構(包括作為程序表示的抽象語法樹，以及操作它們的工具)。

完成本課程后，學生將能夠：

1.為中等規(guī)模的程序應用基本的編程概念

2.理解基本類型和靜態(tài)類型的好處，了解泛型、子類型和重載，以及它們在結構化程序中的作用

3.將編程語言的抽象映射到執(zhí)行環(huán)境中;使用程序的非源(文本)內部表示法(如抽象語法樹);勾畫核心語言結構(對象和閉包)的低級運行時表示法

4.描述合同規(guī)范，對照他人的代碼分析文件和規(guī)范，使用現代IDE和相關配置工具開發(fā)、理解、測試和發(fā)展實質性程序;解釋正確性對高質量軟件的重要性;理解常見的編碼錯誤以及如何避免這些錯誤;練習基本的防御性編程;理解安全設計的原則

5.使用、實現和評估更高級的數據結構和相關算法;討論評估軟件的計算效率以外的因素;創(chuàng)建、實現、調試和評估解決問題的算法，包括遞歸、使用分割和征服以及通過分解;實現一個抽象數據類型;分析設計和實現的替代方案

三、COMP2120 軟件工程

現實世界的軟件開發(fā)是一項復雜和動態(tài)的活動，涉及到人、技術和流程在客戶、用戶和其他利益相關者的復雜環(huán)境中的互動，同時要注意技術、物理、社會、法律和道德的限制。

本課程將賦予學生必要的能力和信心，以行使批判性思維和專業(yè)判斷來選擇和應用適當的知識、實踐和工具來開發(fā)非微不足道的軟件系統。這將通過向學生介紹重要的設計方法學來實現。我們將在以前的編程課程的基礎上，加深和擴大學生對用于在復雜環(huán)境中建立大型軟件系統的實踐和工具的知識和理解。我們將使用現實世界的例子，如分布式、高集成度、基于網絡的系統，在這些系統中，嚴格的軟件工程可以明顯地提高商業(yè)價值。

成功完成后，學生將具備以下知識和技能：

1.在現實的軟件工程過程中應用現代需求收集和軟件設計技術。

2.使用現代正式的代碼檢查方法，評估其他人的代碼貢獻。

3.正確運用技術來確保和評估軟件的質量。

4.有能力分析一個具有持續(xù)集成的現代大型軟件項目。

5.在團隊中合作解決一個軟件工程問題。

以上就是關于澳洲國立大學計算機系統留學生課程輔導，海馬課堂專業(yè)課程輔導，2100+嚴選碩博學霸師資，針對學生的薄弱科目和學校教學進度，匹配背景相符的導師，根據學生情況進行1V1專屬備課，上課時間靈活安排，中英雙語詳細講解課程中的考點、 難點問題，并提供多方位的課后輔導，輔助學生掌握全部課程知識，補足短板。