Description only available in german.
Schedule
| Date |
Room |
Topic |
Documents |
| 16.4. |
-143 |
Einleitung, Deduktion |
Folien Aufgabenblatt Isabelle-Rahmen |
| 23.4. |
-143 |
Quantoren, Fallunterscheidung, Definition, Gleichungen |
Folien Aufgabenblatt Isabelle-Rahmen |
| 30.4. |
-143 |
apply-Skripte, automatische Taktiken, Datentypen, Rekursion und Induktion |
Folien Aufgabenblatt Isabelle-Rahmen |
| 7.5. |
-143 |
allgemeine und wechselseitige Rekursion |
Folien Aufgabenblatt Isabelle-Rahmen |
| 14.5. |
-143 |
induktive Prädikate |
Folien Sitzung Aufgabenblatt Isabelle-Rahmen |
| 21.5. |
-143 |
Semantik |
Folien Sitzung Aufgabenblatt Isabelle-Rahmen |
| 28.5. |
-143 |
Projektvorstellung |
Folien Semantics.thy Eulerian.thy |
| 4.6. |
-143 |
Attribute, Typedef, Locales |
Folien Sitzung |
| 18.6. |
-143 |
Dokumentenerzeugung, Codegenerierung, Lifting |
Folien Sitzung |
| 9.7. |
-143 |
Informationen zur Projektpräsentation |
Folien |
| 16.7. 16 Uhr |
010 |
Projektvorstellung |
|
| | | Alle Folien in einem Dokument |
| | | dito, ohne Overlays (zum Drucken) |
Personnel
