Vorlesung im Wintersemester 2003
Prof. Andreas Podelski,
Andrey Rybalchenko
Max-Planck-Institut für Informatik,
News!!! | Hauptseite | Termine | Literatur (PS) | Übungen | Klausuren | Nachklausur | Mailingliste | Software (PS) | Skript (PS)
Den Stoff der Vorlesung können Sie nur verstehen, wenn Sie sich aktiv damit beschäftigen. Um Sie dabei zu unterstützen, stellen wir Ihnen eine Reihe von Serviceleistungen zur Verfügung.
Jede Woche gibt es ein neues Übungsblatt. Die Übungsblätter dienen Ihrer persönlichen Vorbereitung auf die Klausuren; sie müssen nicht abgegeben werden und werden insbesondere auch nicht bewertet. Zu den Übungsblättern werden aber Musterlösungen erstellt, die Sie mit Ihren eigenen Lösungsvorschlägen vergleichen können. Eventuelle Unklarheiten und Probleme können Sie während der „Office Hours” ihres Tutors ansprechen.
Die Vorlesung wird von qualifizierten Studierenden (Tutoren) betreut, die die Vorlesung bereits erfolgreich absolviert haben. Zu Beginn der Vorlesung wird jedem Teilnehmer ein Tutor zugeteilt. Ihr Tutor ist Ihr erster Ansprechpartner für alle Fragen zu den Inhalten und zur Organisation der Vorlesung.
Die Tutoren sind:
Alle Termine zur Vorlesung finden Sie auf der Termine-Seite.
Jeder Tutor betreut eine der wöchentlich stattfindenden Übungsgruppen. In der Übungsgruppe
Eine Übungsgruppe dauert in der Regel 60 Minuten; die Teilnahme ist freiwillig.
In den „Mini-Klausuren” können Sie Ihr Wissen in einer klausurähnlichen Situation unter Beweis stellen. Jede Mini-Klausur dauert etwa 20 Minuten und besteht aus zwei vom Tutor ausgewählten Aufgaben, wie sie auch in einer normalen Klausur vorkommen könnten. Durch die erfolgreiche Teilnahme an Mini-Klausuren können Sie Noten bestandener Prüfungen um bis zu zwei Notenstufen (also zum Beispiel von 2,0 auf 1,3) anheben. Beachten Sie aber, dass Sie nichtbestandene Prüfungen nicht durch Mini-Klausuren ausgleichen können!
Die Teilnahme an den Mini-Klausuren ist freiwillig.
Während der Office Hours steht Ihnen ein Tutor für eine direkte Betreuung zur Verfügung. Hier können Sie beispielsweise
Sie können alleine oder in kleinen Gruppen kommen. Anlaufpunkt für die Office Hours die Rotunde im 6. Stock des Geb. 46. (Die Sprechstunde von Marko Jung findet im Raum U05, Geb. 46 statt.) Die Termine der Office Hours finden Sie auf der Termine-Seite.