Description only available in german.
Material
Schedule
begin 21.04.2009,
end 23.07.2009
| Weekday |
Begin |
End |
Location |
| Tuesday |
11:30h |
13:00h |
R -143, 50.34 |
Schedule
| Date |
Topic |
Documents |
| 28.4. (11.30h) | Deduktion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 5.5. (11.30h) | Quantoren | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 12.5. (11.30h) | Simplifikation | Folien, Aufgabenblatt, Isabelle-Rahmen, Handout |
| 19.5. (11.30h) | Primitive Rekursion | Folien, Aufgabenblatt, Isabelle-Rahmen, Handout |
| 26.5. (11.30h) | Induktive Prädikate | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 2.6. (11.30h) | Kombination von Regeln | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 9.6. (11.30h) | Allgemeine Rekursion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 16.6. (11.30h) | Wechselseitige Rekursion | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 23.6. (11.30h) | Strukturierte Beweise mittels Isar (1) | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 30.6. (11.30h) | Strukturierte Beweise mittels Isar (2) | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 7.7. (11.30h) | Strukturierte Beweise mittels Isar (3) | Folien, Aufgabenblatt, Isabelle-Rahmen |
| 14.7. (11.30h) | Formalisierung von BigNat | Aufgabenblatt, Isabelle-Rahmen |
| 21.7. (11.30h) | Formalisierung einer Klammergrammatik | Aufgabenblatt, Isabelle-Rahmen |
Personnel
