Description only available in german.
Schedule
Wenn nicht anders vermerkt, finden die Übungen jeweils von 14:00 Uhr bis 15:30 Uhr statt.
| Date |
Room |
Topic |
Documents |
| 19.4. |
-143 |
Einleitung, Deduktion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 26.4. |
-143 |
Quantoren, Fallunterscheidung, Definition, Gleichungen |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 3.5. |
-143 |
apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 10.5. |
-143 |
allgemeine und wechselseitige Rekursion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 17.5. |
-143 |
induktive Prädikate |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 24.5. |
-143 |
Maps, Split-Regeln |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 31.5. |
-143 |
Semantik und Projektvorstellung |
Folien Sprach-Projekt:
1 2 3 ;
Mathe-Projekt:
1 |
| 7.6. |
-143 |
Attribute, Typedef, Locales |
Folien Sitzung |
| 14.6. |
-143 |
Lifting, Codegenerierung, Koinduktion |
Folien Sitzung |
| 21.6. |
|
Entfällt |
|
| 28.6. |
-143 |
Koinduktion, Dokumentenerzeugung |
Folien Sitzung Koinduktive Big-Step-Semantik |
| 5.7. |
-143 |
Eigene Objekt-Logiken |
Aussagenlogik |
| 12.7. |
-143 |
Informationen zur Projektpräsentation |
Folien |
| 19.7. 16 Uhr |
010 |
Projektvorstellung |
|
| | | Alle Folien in einem Dokument |
| | | dito, ohne Overlays (zum Drucken) |
Personnel
