|
Jede Woche geben wir ein Übungsblatt aus, das Sie bearbeiten und eine
Woche später abgeben. Die Übungsblätter werden korrigiert und mit
Punkten bewerten. Sie müssen 50% der mögliche Punkte erreichen, um an
den Klausuren teilnehmen zu können.
Rückgabe und Besprechung der Übungsblätter geschieht in den
Übungsgruppen. Ihren aktuellen
Punktestand können Sie ebenfalls einsehen.
Übungsblätter
Die Übungsblätter werden in der Freitags-Vorlesung ausgegeben und
sollten bis zum darauffolgenden Freitag bearbeitet werden.
- Blatt 1 (Prozedurdeklarationen, Rekursion)
- Blatt 2 (Induktive Definitionen, Einfache Typen)
- Blatt 3 (Listenfunktionale)
- Blatt 4 (Polymorphie, Sortieren)
- Blatt 5 (Sortieren, Induktionsbeweise,
Graphen, Bäume)
- Blatt 6 (Induktionsbeweise,
Baumdarstellungen)
- Blatt 7 (Konstruktortypen, Terme)
- Blatt 8 (Ausnahme, Suchbäume, Wiederholung)
- Blatt 9
(Strings, Ein/Ausgabe, direkt ausführbare Programme)
- Blatt 10
(Größenordnungen, Laufzeit, Termination, Korrektheit)
- Blatt 11
(Iteration, Laufzeit, Strukturen und Signaturen)
- Blatt 12
(Endliche Abbildungen, Funktoren, große Zahlen)
- Blatt 13
(Imperative Objekte, Reihungen, Schleifen)
- Blatt 14
(Bindungsregeln, statische und dynamische Semantik, Interpreter)
- Blatt 15
(F mit Rekursion und Referenzen, Inferenzregeln, Wiederholung)
|