Description only available in german.
Material
Übungsblätter werden hier veröffentlicht.
| Exercise sheets PDF |
| 14.04.2010 |
Sheet 1 - maths basics |
Download
|
| 21.04.2010 |
Sheet 2 - big-step semantics |
Download
|
| 28.04.2010 |
Sheet 3 - small-step semantics |
Download
|
| 05.05.2010 |
Sheet 4 - big-step and small-step semantics |
Download
|
| 12.05.2010 |
Sheet 5 - compiler |
Download
|
| 19.05.2010 |
Sheet 6 - extensions for While |
Download
|
| 26.05.2010 |
Sheet 7 - procedures |
Download
|
| 02.06.2010 |
Sheet 8 - type systems |
Download
|
| 10.06.2010 |
Sheet 9 - Fixpoint iteration |
Download
|
| 16.06.2010 |
Sheet 10 - Fixpoint theory |
Download
|
| 23.06.2010 |
Sheet 11 - contexts |
Download
|
| 01.07.2010 |
Sheet 12 - continuations |
Download
|
| 07.07.2010 |
Sheet 13 - axiomatic semantics |
Download
|
Schedule
begin 20.04.2010,
end 13.07.2010
| Weekday |
Begin |
End |
Location |
| Tuesday, 20.4.2010 |
11:30h |
13:00h |
SR 301 Geb. 50.43 |
Personnel
