新南威尔士大学COMP3141辅导|课程大纲

新南威尔士大学COMP3141课程介绍了各种编程技术，研究了通过正式设计进行测试的方法，并讨论了提高软件正确性的静态和动态方法之间的权衡。整个课程中，所讨论的方法由软件工具支持，这些工具有助于管理设计、实施和测试。课程内容通过每周的编程案例研究和定期的实践练习来说明。中心主题是使用函数式编程、逻辑属性和类型来介绍程序设计、实现、确认和验证。课程主要介绍了强类型Haskell编程语言。需要新南威尔士大学COMP3141辅导的同学一定要对课程大纲非常熟悉，具体的大纲内容如下。

一、新南威尔士大学COMP3141课程安排

1、课程概述，函数式編程

2、数据类型和类型类，Haskell

3、基于属性的测试和快速检查

4、设计程序属性

5、控制效果、状态空间、误差

6、函子、适用函子和单子I

7、函子，应用函子和单子II

8、丰富类型，GADTs I

9、丰富类型，GADTs II

二、新南威尔士大学COMP3141课程学习成果

1、熟练使用Haskell和函数式编程编写实用软件。

2、能够根据逻辑属性和功能正确性来指定程序。

3、能够在辅助软件设计和实现时，区分和平衡静态方法(如形式方法和类型系统)和动态方法(如测试)之间的权衡。

4、能够在程序设计、实现、确认和验证中恰当地使用类型。

5、能够根据逻辑属性的正式规范使用各种工具。

该课程可以逐渐让学生接触到一种以数学为基础的方法来说明和实现软件系统，使学生获得软件工程所需的基本技能。如果有同学需要新南威尔士大学COMP3141辅导，可以直接和我们联系。