Wichtige Hinweise und Informationen
- Hinweise zur Klausureinsichtnahme (Postscript, pdf)
- Beispiel zur Fixpunktsemantik; Induktionsbeweis (.jpg)
- Vorlesungsankündigung für das WS 10/11 (.ps, .pdf)
- Hinweise zur Programmierung in C (Praktische Einführung)
- Angebot von Konsultationen/Lernräumen (.pdf)
- Klausurankündigung / Raumzuordnung (.ps, .pdf)
Übungsaufgaben
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
Lösung zur 4. Aufgabe ( txt )
- Übung (Postscript, pdf)
Lösung zur 2. Aufgabe ( txt )
Lösung zur 3. Aufgabe ( pdf )
- Übung (Postscript, pdf)
Lösung zur 2. Aufgabe ( txt )
Lösung zur 3. Aufgabe ( txt )
Lösung zur 4. Aufgabe ( txt )
- Übung (Postscript, pdf)
Lösung zur 1. Aufgabe ( txt )
Lösung zur 2. Aufgabe ( txt )
Lösung zur 3. Aufgabe ( txt )
- Übung (Postscript, pdf)
Lösung zur 1. Aufgabe (a) ( txt )
Lösung zur 1. Aufgabe (c) ( txt )
Lösung zur Zusatzaufgabe ( txt )
- Übung (Postscript, pdf)
Lösung zur 4. Aufgabe ( txt )
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
- Übung (Postscript, pdf)
Lern- und Übungsprogramme
Diese Programme sind auf einer gesonderten Seite zu finden.