在这里可以下载课程讲义。
-
-
-
-
-
-
-
2023/10/13
张伟：
第9章：An Example: The Countdown Problem
[幻灯片]
第10章：交互式程序设计
[幻灯片]
[作业]
-
2023/10/18
张伟：
第12章：Monads and More
[幻灯片]
[作业]
-
-
-
2023/11/3
张伟：
第14章：Foldables and Friends
[幻灯片]
第15章：计算模型—Lazy Evaluation
[幻灯片]
[作业]
-
2023/11/8
胡振江：
Chapter 16: Introduction to Calculational Programming
[幻灯片]
Chapter 17: Basics of Agda
[幻灯片]
[作业]
-
2023/11/15
胡振江：
Chapter 18: Natural Numbers in Agda
[幻灯片]
[作业]
-
-
2023/11/22
胡振江：
Chapter 19: Lists in Agda
[幻灯片]
[作业]
-
2023/11/29
胡振江：
Chapter 20: Internal Verification
[幻灯片]
[作业]
-
2023/12/6
胡振江：
第21章： 等式理论
[幻灯片]
Chapter 22. Bird Meertens Formalism (BMF)
[幻灯片]
[作业]
-
2023/12/13
胡振江：
第23章：序列理论概述 (in Agda)
[幻灯片]
[作业]
-
2023/12/20
胡振江：
Chapter 24. Homomorphism
[幻灯片]
[作业]
-
2023/12/20
胡振江：
Chapter 25. Fusion and Tupling
[幻灯片]
[作业]
-
2023/12/29
胡振江：
Chapter 26: Unfold
[幻灯片]
Chapter 27. Automatic Parallelization
[幻灯片]
[作业]
