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 |
|
| 24.4. |
-143 |
Quantoren, Fallunterscheidung, Definition, Gleichungen |
|
| 8.5. |
-143 |
apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion |
|
| 15.5. |
-143 |
allgemeine und wechselseitige Rekursion |
|
| 22.5. |
-143 |
induktive Prädikate |
|
| 29.5. |
-143 |
Maps, Split-Regeln |
|
| 5.6. |
-143 |
Semantik und Projektvorstellung |
Sprach-Projekt:
|
| 12.6. |
-143 |
Attribute, Typedef, Locales |
|
| 19.6. |
-143 |
Lifting, Codegenerierung, Koinduktion |
|
| 26.6. |
-143 |
Koinduktion, (Dokumentenerzeugung), Eigene Objekt-Logiken |
|
| 3.7. |
-143 |
Exkurs: Lean |
|
| 10.7. |
-143 |
Informationen zur Projektpräsentation |
|
| 17.7. 10 Uhr |
010 |
Projektvorstellung |
|
| | | |
| | | |
Personnel
