中国科学技术大学：《电磁学》课程教学资源（专题报告）物质的磁性及其应用（主讲：张泰永）

中国科学技术大学：《电磁学》课程教学资源（专题报告）铁电物理研究新进展 New Progress in Ferroelectrics（主讲：王忆）

中国科学技术大学：《电磁学》课程教学资源（专题报告）等离子体物理及应用

第一节 社会主义的本质 一、社会主义本质理论的提出和科学内涵 二、社会主义本质理论的重要意义 第二节 社会主义的根本任务 一、解放和发展社会生产力 二、大力发展科学技术 三、坚持科学发展 第三节 中国特色社会主义的发展战略 一、“三步走”的发展战略 二、全面建成小康社会 三、实现中华民族伟大复兴的中国梦

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型