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 |
| 17.4. |
-143 |
Einleitung, Deduktion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 24.4. |
-143 |
Quantoren, Fallunterscheidung, Definition, Gleichungen |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 8.5. |
-143 |
apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 15.5. |
-143 |
allgemeine und wechselseitige Rekursion |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 22.5. |
-143 |
induktive Prädikate |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 29.5. |
-143 |
Maps, Split-Regeln |
Folien Aufgabenblatt Isabelle-Rahmen Lösung |
| 5.6. |
-143 |
Semantik und Projektvorstellung |
Folien Sprach-Projekt:
1 2 3
|
| 12.6. |
-143 |
Attribute, Typedef, Locales |
Folien Sitzung |
| 19.6. |
-143 |
Lifting, Codegenerierung, Koinduktion |
Folien Sitzung |
| 26.6. |
-143 |
Koinduktion, (Dokumentenerzeugung), Eigene Objekt-Logiken |
Folien Sitzung Aussagenlogik |
| 3.7. |
-143 |
Exkurs: Lean |
Folien Sitzung |
| 10.7. |
-143 |
Informationen zur Projektpräsentation |
Folien |
| 17.7. 10 Uhr |
010 |
Projektvorstellung |
|
| | | Alle Folien in einem Dokument |
| | | dito, ohne Overlays (zum Drucken) |
Personnel
