Übungsblätter
|
|
| 1.
Übungsblatt [Aufgabe
] |
Relationen
und
Mengensysteme |
| 2.
Übungsblatt [Aufgabe
] |
Big-Step-Semantik von
WHILE
|
3.
Übungsblatt [Aufgabe
(korrigiert 21.6.)
|
Regelinduktion,
Small-Step-Semantik von WHILE
|
| 4. Übungsblatt [Aufgabe]
|
Erweiterungen von
WHILE, Compiler
|
5.
Übungsblatt
[Aufgabe]
|
Erweiterungen von
WHILE, Grundlagen der Regelinduktion
|
| 6.
Übungsblatt
[Aufgabe (korrigiert 30.5.)] |
Jinja:
Deklarationsinformation und Programme
|
7.
Übungsblatt [Aufgabe]
|
Jinja:
Big-Step-Semantik, Deklarationsinformation
|
| 8.
Übungsblatt [Aufgabe] |
Jinja: Typsystem
|
| 9.
Übungsblatt [Aufgabe] |
Jinja: Überladen
von Methoden, Arrays
|
| 10.
Übungsblatt [Aufgabe] |
Hoare-Logik
|
| 11.
Übungsblatt [Aufgabe] |
Verifikationsbedingungen
|
| 12.
Übungsblatt [Aufgabe] |
Totale Korrektheit
|
