Essentials of Programming Languages
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistants: Marius Weidner
- Lecture: R 04 007 Videokonferenz G.-Köhler-Allee 106 and Zoom, Wednesdays 14:15-16
- Exercises: R 04 007 Videokonferenz G.-Köhler-Allee 106 and Zoom, Mondays 10-12
Lecture
| Date | Topic | Material | Recording |
|---|---|---|---|
| 2026-04-29 | Tutorial | worksheet.lagda.md | rec |
| 2026-05-06 | no lecture | ||
| 2026-05-13 | more Induction and Relations | rec | |
| 2026-05-20 | Equality | rec1, rec2 | |
| 2026-06-03 | Isomorphism, Connectives | rec |
Tutorial
| Date | Chapter | Material | Recording |
|---|---|---|---|
| 2026-04-27 | Getting Started | intro.agda | rec |
| 2026-05-04 | Naturals | naturals.agda | rec |
| 2026-05-11 | Induction | induction.agda | rec |
| 2026-05-18 | Relations | relations.agda | rec |
| 2026-06-01 | Equality | equality.agda, isomorphism.agda, paradoxes.agda | rec |
| 2026-06-08 | Isomorphism, Connectives | isomorphism.agda connectives.agda | [rec] |
Exam
| Date | Time | Place | Mode |
|---|---|---|---|
| tba | tba | tba | computer ∣ closed book |