這是一個(gè)獨(dú)特的、跨學(xué)科的課程，將培養(yǎng)你成為未來信息和通信技術(shù)革命的領(lǐng)導(dǎo)者。作為澳大利亞計(jì)算機(jī)協(xié)會(huì)認(rèn)可的學(xué)位，你不僅可以學(xué)習(xí)先進(jìn)的計(jì)算機(jī)技術(shù)，有機(jī)會(huì)完成一個(gè)獨(dú)特的專業(yè)，還可以培養(yǎng)出卓越的專業(yè)技能，包括溝通和團(tuán)隊(duì)精神。澳洲國(guó)立大學(xué)計(jì)算機(jī)系統(tǒng)留學(xué)生課程輔導(dǎo)。以下是主要課程。

一、COMP1600 計(jì)算機(jī)基礎(chǔ)

本課程介紹了一些常用于描述計(jì)算和計(jì)算系統(tǒng)的形式化符號(hào)，用于軟件的規(guī)范和關(guān)于程序?qū)傩缘臄?shù)學(xué)上的嚴(yán)格論證。 以下領(lǐng)域的研究構(gòu)成了本課程的主干。謂詞微積分和自然演繹，數(shù)據(jù)類型的歸納定義作為遞歸函數(shù)和結(jié)構(gòu)歸納的基礎(chǔ)，形式語言理論(特別是正則表達(dá)式，有限狀態(tài)機(jī)和上下文自由語法)，以及規(guī)范語言。

成功完成后，學(xué)生將具備以下知識(shí)和技能：

1.應(yīng)用標(biāo)準(zhǔn)數(shù)理邏輯的概念，對(duì)用英語或各種形式符號(hào)(一階邏輯、離散數(shù)學(xué)或霍爾邏輯)表述的形式良好的命題或論證進(jìn)行證明或反駁。

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

3.給出一個(gè)簡(jiǎn)單數(shù)據(jù)結(jié)構(gòu)的歸納定義，為該類型的數(shù)據(jù)寫出一個(gè)給定的簡(jiǎn)單操作的遞歸定義。給出一些這樣的遞歸定義的操作，用適當(dāng)?shù)慕Y(jié)構(gòu)歸納原則證明這些函數(shù)的簡(jiǎn)單屬性。

4.用Hoare邏輯證明簡(jiǎn)單程序的正確性。

5.設(shè)計(jì)一個(gè)能完成簡(jiǎn)單任務(wù)的圖靈機(jī)。

二、COMP2100 軟件設(shè)計(jì)方法學(xué)

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

完成本課程后，學(xué)生將能夠：

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

2.理解基本類型和靜態(tài)類型的好處，了解泛型、子類型和重載，以及它們?cè)诮Y(jié)構(gòu)化程序中的作用

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

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

5.使用、實(shí)現(xiàn)和評(píng)估更高級(jí)的數(shù)據(jù)結(jié)構(gòu)和相關(guān)算法;討論評(píng)估軟件的計(jì)算效率以外的因素;創(chuàng)建、實(shí)現(xiàn)、調(diào)試和評(píng)估解決問題的算法，包括遞歸、使用分割和征服以及通過分解;實(shí)現(xiàn)一個(gè)抽象數(shù)據(jù)類型;分析設(shè)計(jì)和實(shí)現(xiàn)的替代方案

三、COMP2120 軟件工程

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

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

成功完成后，學(xué)生將具備以下知識(shí)和技能：

1.在現(xiàn)實(shí)的軟件工程過程中應(yīng)用現(xiàn)代需求收集和軟件設(shè)計(jì)技術(shù)。

2.使用現(xiàn)代正式的代碼檢查方法，評(píng)估其他人的代碼貢獻(xiàn)。

3.正確運(yùn)用技術(shù)來確保和評(píng)估軟件的質(zhì)量。

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

5.在團(tuán)隊(duì)中合作解決一個(gè)軟件工程問題。

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