Perspectives in Mathematical Sciences III/I (Spring 2025)

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Perspectives in Mathematical Sciences III/I (Spring 2025) [ Home | Lectures ]

Perspectives in Mathematical Sciences III/I (Spring 2025)

Report

The report problem has been posted on TACT. Deadline: Sunday 2025/07/13.

Course plan

Syllabus

(5/16) Practical foundations for proofs
- course notes (updated on 2025/5/17)
(5/30) Approaches for computer proofs
- course notes
(6/13) Simply-typed lambda-calculus
- course notes
(6/20) Dependent types and pure type systems
- course notes (Corrected on 6/25)
(6/27) Dependent types, CIC, and HOL
- course notes

Last updated 2025.6.27.