澳大利亚新南威尔士大学COMP3141课程每周内容怎么安排？

请问澳大利亚新南威尔士大学COMP3141课程每周内容是怎么安排的？因为我基础不太好，所以就想每周课前预习课后复习，这样正式上课的时候不至于什么都听不懂，麻烦老师说一下课程安排，还有应该掌握的内容。

最佳答案

课程顾问-小管家 2022-05-12 11:32:50
立即咨询

　　澳大利亚新南威尔士大学COMP3141课程介绍了各种编程技术，这些技术可以应用于实际软件系统开发的设计和实现阶段。课程介绍了通过正式设计进行测试的方法，并讨论了提高软件正确性的静态和动态方法之间的权衡。整个课程中所讨论的方法都需要得到软件工具的支持，这些工具有助于管理设计、实施和测试。总的来说，COMP3141课程的中心主题是使用函数式编程、逻辑属性和类型来介绍程序设计、实现、确认和验证。
　　一、澳大利亚新南威尔士大学COMP3141课程每周安排：
　　1、课程概述，函数式编程
　　2、数据类型和类型类，关于Haskell的推理
　　3、基于属性的测试和快速检查
　　4、设计程序属性
　　5、控制效果，状态空间，错误
　　6、Break
　　7、应用函子和单子
　　8、丰富类、GADTS
　　9、多态和参数化，类型论
　　10、客座讲座或扩展主题
　　二、澳大利亚新南威尔士大学COMP3141课程学习目标：
　　1、使用Haskell和函数式编程编写实用软件。
　　2、根据逻辑属性和功能正确性来指定程序。
　　3、能在辅助软件设计和实现中，区分和平衡静态方法(如形式方法和类型系统)和动态方法(如测试)之间的权衡。
　　4、理解类型在程序设计、实现、确认和验证中的作用。
　　5、根据逻辑属性的正式规范使用各种工具。
　　澳大利亚新南威尔士大学COMP3141课程的目的是逐渐让同学接触到一种以数学为基础的方法来描述和实现软件系统，使同学获得开发对最终产品的正确性有高度信心的工程软件所需的基本技能。因此同学在课程学习过程中，应循序渐进地掌握上述内容，以实现学习目标。如果同学在此过程中遇到难题，随时来问我们就可以，我们都能解答。