Schedule
| Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | |
|---|---|---|---|---|---|---|
| 9:00 – 10:30 | 1 | 4 | 7 | 9 | 12 | exam (optional) |
| 10:30 – 11:00 | break | |||||
| 11:00 – 12:30 | 2 | 5 | e3 | 10 | e5 | λ-calculus |
| 12:30 – 14:00 | lunch | |||||
| 14:00 – 15:30 | 3 | e2 | 8 | e4 | λ-calculus | λ-calculus |
| 15:30 – 16:00 | break | |||||
| 16:00 – 17:30 | e1 | 6 | social event |
11 | λ-calculus | |
Monday
-
slides lecture 1
1-up 4-up beamer -
slides lecture 2
1-up 4-up beamer -
slides lecture 3
1-up 4-up beamer -
exercises
pdf -
selected solutions
pdf
Tuesday
-
slides lecture 4
1-up 4-up beamer -
slides lecture 5
1-up 4-up beamer -
exercises
pdf -
selected solutions
pdf -
slides lecture 6
1-up 4-up beamer
Wednesday
-
slides lecture 7
1-up 4-up beamer -
exercises
pdf -
selected solutions
pdf -
slides lecture 8
1-up 4-up beamer
Thursday
-
slides lecture 9
1-up 4-up beamer -
slides lecture 10
1-up 4-up beamer -
exercises
pdf -
selected solutions
pdf -
slides lecture 11
1-up 4-up beamer