Description only available in german.
Schedule
begin 12.04.2011,
end 12.07.2011
| Weekday |
Begin |
End |
Location |
| Tuesday |
14:00h |
15:30h |
Praktikumspool -143, Geb. 50.34 |
Schedule
| Date |
Topic |
Documents |
| 12.4. |
Einleitung + Deduktion |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 19.4. |
Quantoren + Simplifikation |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 26.4. |
Rekursion |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 3.5. |
allgemeine Rekursion |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 10.5. |
induktive Prädikate |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 17.5. |
Isar |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 24.5 |
Isar/Fortsetzung |
Folien,
Aufgabenblatt,
Isabelle-Rahmen
|
| 31.5. |
Projektvorstellung |
Folien,
Semantik-Theorie
|
Personnel
