Universität des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Comp. Logik SS 03


Hauptseite
Termine
Literatur
Übungen
Prüfungen
Mailingliste
Software
Material

Einführung in die Computationale Logik: Übungen

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.

Übungsblätter

Jeden Dienstag 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 in den Übungsgruppen und während der „Office Hours” ihres Tutors ansprechen.

Tutoren

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:

Den Namen Ihres Tutors erfahren Sie hier.

Übungsgruppen

Jeder Tutor betreut eine der wöchentlich stattfindenden Übungsgruppen. In der Übungsgruppe

• können Sie Ihr Wissen in einer klausurähnlichen Situation prüfen lassen („Mini-Klausuren”; siehe unten).
• können Sie gemeinsam mit Ihrem Tutor und Ihren Kommilitonen die Musterlösungen der Übungsaufgaben diskutieren.
• erhalten Sie vom Tutor hilfreiche Tipps und Anregungen für den Umgang mit dem Stoff der Vorlesung.

Eine Übungsgruppe dauert in der Regel 60 Minuten; die Teilnahme ist freiwillig.

Die Übungsgruppen im Einzelnen:

• Übungsgruppe 1 (Mi 14–16, SR 014): Jens Regenberg
• Übungsgruppe 2 (Mi 16–18, SR 014): Thomas Wies
• Übungsgruppe 3 (Do 14–16, SR 014): Christian Klein
• Übungsgruppe 4 (Do 14–16, SR 015): Matthias Horbach
• Übungsgruppe 5 (Do 16–18, SR 014): Mathias Pohl
• Übungsgruppe 6 (Do 16–18, SR 015): findet nicht statt
• Übungsgruppe 7 (Fr 14–16, SR 014): Simon Georg Pinkel

Die Termine der Übungsgruppen finden Sie auf der Termine-Seite.

An welcher Übungsgruppe Sie teilnehmen, erfahren Sie hier.

Mini-Klausuren

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.

Office Hours

Während der Office Hours steht Ihnen ein Tutor für eine direkte Betreuung zur Verfügung. Hier können Sie beispielsweise

• individuelle Verständnisprobleme klären,
• alternative Lösungen zu Übungsaufgaben diskutieren,
• weiter- und tiefergehende Fragen zu den Inhalten der Vorlesung besprechen.

Sie können alleine oder in kleinen Gruppen kommen. Anlaufpunkt für die Office Hours ist Raum 507 in Geb. 45. Die Termine der Office Hours finden Sie auf der Termine-Seite.