| Zeit und Ort: |
Dienstag 16:15 - 17:45 MI
01.09.014 (Alonzo Church)
|
| Beginn: |
Dienstag, 17. April
|
| Übungsleitung: |
Clemens
Ballarin |
Übungsblätter
|
|
| 1.
Übungsblatt [Aufgabe] |
Relationen
und
Mengensysteme |
2. Übungsblatt [Aufgabe]
|
Big-Step-Semantik von
WHILE
|
3. Übungsblatt [Aufgabe]
|
Regelinduktion,
Small-Step-Semantik, Prozeduren
|
4. Übungsblatt [Aufgabe]
|
Ausnahmebehandlung,
Regelinduktion, Compiler
|
5. Übungsblatt [Aufgabe]
|
Definite Assignment,
Jinja: Deklarationsinformation
|
6. Übungsblatt [Aufgabe]
|
Jinja:
Methodenaufruf, Exceptions, Typsystem
|
7. Übungsblatt [Aufgabe]
|
Jinja: Typsystem,
Überladen von Methoden
|
8. Übungsblatt [Aufgabe]
|
Hoare-Logik, Jinja:
Typsystem
|
9. Übungsblatt [Aufgabe]
|
Totale Korrektheit,
Verifikationsbedingungen
|
10. Übungsblatt [Aufgabe]
|
Terminierung,
Erweiterungen der Hoare-Logik
|
Hinweise
- Die
Lösungen werden Mitte September vom Netz genommen.
- Die
studienbegleitende Prüfung ist mündlich und findet am Mittwoch,
den 18. Juli statt. Anmeldung bitte per E-Mail bis
spätestens Donnerstag, den 12. Juli an ballarin@in.tum.de unter
Angabe von Name, Matrikelnummer, Geburtsdatum und Studiengang.
Sie erhalten dann eine Bestätigung mit Ihrem Prüfungstermin
per E-Mail.
- Eclipse-Prolog
ist frei verfügbar und kann hier heruntergeladen werden.
|
