Description only available in german.
Schedule
begin 13.04.2010,
end 13.07.2010
| Weekday |
Begin |
End |
Location |
| Tuesday |
14:00h |
15:30h |
Praktikumspool -143, Geb. 50.34 |
Schedule
| Date |
Topic |
Documents |
| 13.4. | Einleitung + Deduktion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 20.4. | Quantoren + Simplifikation | Folien, Aufgabenblatt, Isabelle-Rahmen |
27.4. | Rekursion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 4.5. | allgemeine Rekursion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 11.5. | Induktive Prädikate | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 18.5. | Isar | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 25.5. | Isar/Fortsetzung | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 1.6. | Projektvorstellung | Folien, Semantik-Theorie |
Personnel
