在这里可以下载课程讲义。
-
-
-
-
-
-
-
-
-
2025/10/17
张伟：
第10章：An Example: The Countdown Problem
[幻灯片]
第11章：交互式程序设计
[幻灯片]
[作业]
-
-
2025/10/24
张伟：
第12章：Monads and More
[幻灯片]
[作业]
-
2025/10/29
张伟：
第13章：Monadic Parser
[幻灯片]
[作业]
-
2025/10/31
张伟：
第14章：Foldables and Friends
[幻灯片]
第15章：计算模型—Lazy Evaluation
[幻灯片]
[作业]
-
2025/11/12
胡振江：
Chapter 16: Introduction to Calculational Programming
[幻灯片]
Chapter 17: Basics of Agda
[幻灯片]
[作业]
-
2025/11/19
胡振江：
Chapter 18: Natural Numbers in Agda
[幻灯片]
Chapter 19: Lists in Agda
[幻灯片]
[作业]
-
2025/11/26
胡振江：
Chapter 20: Internal Verification
[幻灯片]
Chapter 21: Equality Theory
[幻灯片]
[作业]
-
2025/12/03
胡振江：
Chapter 22. Bird Meertens Formalism (BMF)
[幻灯片]
[作业]
