Analysis of Programs

选课速读： IFN505 《Analysis of Programs》是 昆士兰科技大学 的公开课程页面。当前可确认的信息包括 2 学分，难度 中等。 课程简介摘要：课程介绍： 本单元介绍了其中一些基本原则，以帮助您更深入地了解您所选择的领域。

课程介绍：

本单元介绍了其中一些基本原则，以帮助您更深入地了解您所选择的领域。虽然计算机编程通常被教授为基于设计的学科，以逐步开发过程为中心，但重要的是要认识到编程还具有由Hoare和Dijkstra等计算机科学先驱开发的完善的数学基础。 计算机程序的属性可以正式定义，甚至可以在运行之前推断程序代码的特性和性能。 在开发“关键”计算机程序时，这些知识是必不可少的，这些程序需要强有力的程序正确性保证。该课程揭示了计算机程序代码如何具有固有的“语义”含义，可以在实践中用于预测执行代码片段将如何改变计算机的状态以及代码执行时的效率。

学科点数：12

 

视频介绍：

作业形式：问题解决作业，项目作业，期末考试

作业信息：取自2019年第一学期

• 问题解决作业：占比 20%，您将完成一些小的实践练习，包括推理小程序代码片段的行为/正确性并预测其运行时效率。

• 项目作业：占比 40%，在这个项目中，您将获得一个算法，从理论上和经验上进行分析。 首先，您将应用复杂性理论来预测其性能。 然后，您将实现该算法（使用您自己选择的编程语言）并测量其在一系列数据集上的实际性能。 最后，您将撰写一份报告，总结您的发现并确认（或驳斥）理论预测。

• 期末考试：占比 40%，涵盖本课程所有内容的书面考试。