澳洲国立大学计算机系统留学生课程辅导

这是一个独特的、跨学科的课程，将培养你成为未来信息和通信技术革命的领导者。作为澳大利亚计算机协会认可的学位，你不仅可以学习先进的计算机技术，有机会完成一个独特的专业，还可以培养出卓越的专业技能，包括沟通和团队精神。澳洲国立大学计算机系统留学生课程辅导。以下是主要课程。

一、COMP1600 计算机基础

本课程介绍了一些常用于描述计算和计算系统的形式化符号，用于软件的规范和关于程序属性的数学上的严格论证。 以下领域的研究构成了本课程的主干。谓词微积分和自然演绎，数据类型的归纳定义作为递归函数和结构归纳的基础，形式语言理论(特别是正则表达式，有限状态机和上下文自由语法)，以及规范语言。

成功完成后，学生将具备以下知识和技能：

1.应用标准数理逻辑的概念，对用英语或各种形式符号(一阶逻辑、离散数学或霍尔逻辑)表述的形式良好的命题或论证进行证明或反驳。

2.给出一个正则语言的描述，可以是英文的，也可以是正则表达式或语法，生成一个能识别该语言的有限状态自动机。同样地，给定一个确定性或非确定性的自动机，给出它所接受的语言的描述。

3.给出一个简单数据结构的归纳定义，为该类型的数据写出一个给定的简单操作的递归定义。给出一些这样的递归定义的操作，用适当的结构归纳原则证明这些函数的简单属性。

4.用Hoare逻辑证明简单程序的正确性。

5.设计一个能完成简单任务的图灵机。

二、COMP2100 软件设计方法学

本课程继续建立在前两门课程的主题上。它侧重于构建中等规模的程序，使用软件开发过程中使用的设计模式和工具。学生将进一步获得使用工业标准修订控制和集成开发环境(IDE)工具的经验。学生将学习如何将他们在前几门课程中学到的编程抽象概念适当地应用到中等规模的软件结构中：继承、通用类型、多态性、过程性抽象和抽象递归数据结构(包括作为程序表示的抽象语法树，以及操作它们的工具)。

完成本课程后，学生将能够：

1.为中等规模的程序应用基本的编程概念

2.理解基本类型和静态类型的好处，了解泛型、子类型和重载，以及它们在结构化程序中的作用

3.将编程语言的抽象映射到执行环境中;使用程序的非源(文本)内部表示法(如抽象语法树);勾画核心语言结构(对象和闭包)的低级运行时表示法

4.描述合同规范，对照他人的代码分析文件和规范，使用现代IDE和相关配置工具开发、理解、测试和发展实质性程序;解释正确性对高质量软件的重要性;理解常见的编码错误以及如何避免这些错误;练习基本的防御性编程;理解安全设计的原则

5.使用、实现和评估更高级的数据结构和相关算法;讨论评估软件的计算效率以外的因素;创建、实现、调试和评估解决问题的算法，包括递归、使用分割和征服以及通过分解;实现一个抽象数据类型;分析设计和实现的替代方案

三、COMP2120 软件工程

现实世界的软件开发是一项复杂和动态的活动，涉及到人、技术和流程在客户、用户和其他利益相关者的复杂环境中的互动，同时要注意技术、物理、社会、法律和道德的限制。

本课程将赋予学生必要的能力和信心，以行使批判性思维和专业判断来选择和应用适当的知识、实践和工具来开发非微不足道的软件系统。这将通过向学生介绍重要的设计方法学来实现。我们将在以前的编程课程的基础上，加深和扩大学生对用于在复杂环境中建立大型软件系统的实践和工具的知识和理解。我们将使用现实世界的例子，如分布式、高集成度、基于网络的系统，在这些系统中，严格的软件工程可以明显地提高商业价值。

成功完成后，学生将具备以下知识和技能：

1.在现实的软件工程过程中应用现代需求收集和软件设计技术。

2.使用现代正式的代码检查方法，评估其他人的代码贡献。

3.正确运用技术来确保和评估软件的质量。

4.有能力分析一个具有持续集成的现代大型软件项目。

5.在团队中合作解决一个软件工程问题。

以上就是关于澳洲国立大学计算机系统留学生课程辅导，诺藤教育专业课程辅导，2100+严选硕博学霸师资，针对学生的薄弱科目和学校教学进度，匹配背景相符的导师，根据学生情况进行1V1专属备课，上课时间灵活安排，中英双语详细讲解课程中的考点、 难点问题，并提供多方位的课后辅导，辅助学生掌握全部课程知识，补足短板。