在这里可以下载课程讲义。
-
-
-
-
-
-
-
-
-
2024/10/16
张伟:
第9章:类型和类簇的声明/定义
[幻灯片]
第10章:An Example: The Countdown Problem
[幻灯片]
[作业]
-
2024/10/18
张伟:
第10章:An Example: The Countdown Problem
[幻灯片]
第11章:交互式程序设计
[幻灯片]
[作业]
-
2024/10/23
张伟:
第11章:交互式程序设计
[幻灯片]
第12章:Monads and More
[幻灯片]
第12章:Monads and More(带动画版PPT)
[幻灯片]
[作业]
-
2024/10/25
张伟:
第12章:Monads and More(范畴论版PPT)
[幻灯片]
[作业]
-
2024/10/30
张伟:
第12章:Monads and More(范畴论版PPT)
[幻灯片]
[作业]
-
-
2024/11/6
张伟:
第14章:Foldables and Friends
[幻灯片]
第15章:计算模型—Lazy Evaluation
[幻灯片]
[作业]
-
2024/11/20
胡振江:
Chapter 16: Introduction to Calculational Programming
[幻灯片]
Chapter 17: Basics of Agda
[幻灯片]
[作业]
-
2024/11/27
胡振江:
Chapter 17: Basics of Agda
[幻灯片]
Chapter 18: Natural Numbers in Agda
[幻灯片]
[作业]