英国赋予程序意义COMP31311Giving Meaning to Programs课程介绍

赋予程序意义

COMP31311

Giving Meaning to Programs

学习目标

课程内容：

本课程旨在让学生能够参与有关高级编程语言特性的技术讨论，其中包括支撑当代发展的核心概念。课程说明了关于程序含义的问题应在严格的数学基础上提出和解决，并介绍了在这一领域已经取得的成就。对于那些希望深入了解编程语言的学生来说，这门课程能为你在该领域工作或继续深造打下坚实的基础。

教学大纲：

- 非类型lambda微积分

- 简单类型的lambda微积分

- 证明方法：逻辑关系

- 程序的观察等价性

- 简单类型lambda微积分的函数模型

- PCF：现代函数式语言的核心

- PCF的指称语义

- 高级主题（可能是多态性或并发性）研究

学习成果：

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

1、描述和分析所学的各种计算模型中术语的行为。

2、计算程序和类型的指称。

3、使用结构归纳法证明程序的选定结果。

4、应用编程语言的基本理论结果和特定技术来推理程序。

5、利用适当的技术和模型，用合适的编程语言证明程序的等价性。

展开全部

英国赋予程序意义课程辅导

课程课件讲解

同步海外各大院校学习进度+原版课件，PPT课件知识点讲解，包含但不限于作业讲解、考试突击辅导、论文essay辅导等，提高GPA，解决课业难题。
作业知识点讲解

作业题目讲解,topic+outline讲解，作业题难点知识点、答题思路指导。
考前冲刺辅导

帮助学生考前快速冲刺，考前直击重点/作答技巧，重点难点梳理+讲解，预测exam考点，更有独家学习资料与干货分享。
挂科appeal

学术不端、论文低分重复度高申诉appeal、考试作弊挂科听证会申诉，全程申诉老师陪同指导，高质量申诉信写作，听证会材料搜集整理，抓住申诉机遇。

免费获得学习规划方案

已有 1129 位留学生获得学习规划方案

英国

*已对您的信息加密，保障信息安全