Logik und Berechenbarkeit - Konstruktionsübungen

Die Vorbesprechung der Übung findet im Rahmen der ersten Vorlesung am Dienstag, 04.10.2011, von 12:00 bis 14:00 Uhr statt.

Die erste reguläre Übungseinheit findet dann am Montag, den 17. Oktober 2011 statt.

Es gibt 4 Übungsgruppen:

• Montag 10:00 - 11:00 Uhr (Fruhmann)
• Montag 11:00 - 12:00 Uhr (Fruhmann)
• Montag 10:00 - 11:00 Uhr (Hubner)
• Montag 11:00 - 12:00 Uhr (Hubner)
  

Die Übungen beginnen jeweils pünklich um 10:00 bzw. 11:00 Uhr.

Übungsblätter

Übungssystem

Die Aufgaben werden jeweils am vorangehenden Montag online gestellt und sind dann bis zum nächsten Übungstermin auszuarbeiten.

Alle Übungsteilnehmer müssen sich im online System anmelden. Achtung, bei der ersten Anmeldung muss man ein neues Passwort anfordern! Vor Übungsbeginn, bis 09:00 Uhr, kann man online angeben welche Aufgaben man gelöst hat. In der Übungsstunde wird zu jedem Beispiel jemand der das Beispiel gelöst hat ausgewählt. Diese Person darf das Beispiel an der Tafel vorrechnen und bekommt dafür Vorrechenpunkte. Die Übungsnote ergibt sich aus der Anzahl der gelösten Beispiele und den Vorrechenpunkten. Kann jemand seine Lösung nicht erklären weil sie offensichtlich abgeschrieben wurde werden alle Beispiele dieser Übung als nicht gelöst gewertet. Das selbe trifft zu wenn jemand Beispiele angekreuzt hat, in der Übung aber nicht anwesend ist. Bei zweimaligem Abschreiben oder Abwesendsein wird die Übung negativ bewertet.

Wir legen besonderen Wert auf die Präsentation der Beispiele. Die Lösungen sollen klar und verständlich vorgetragen werden. Die 5 Vorrechenpunkte setzen sich aus 3 Punkten für die richtige Lösung und 2 Punkten für die Präsentation zusammen.

Benotung

Wir verwenden für die Übung folgenden Notenschlüssel:

• >= 88%: Sehr Gut (1)
• 87% - 75%: Gut (2)
• 74% - 63%: Befriedigend (3)
• 62% - 51%: Genügend (4)
• <= 50%: Nicht Genügend (5)
  

Die Prozentzahl errechnet sich aus der Anzahl der gelösten Beispiele und der Vorrechenpunkte gemessen an der Anzahl aller Beispiele und der möglichen Vorrechenpunkte. Pro Vorrechnen können bis zu 5 Punkte vergeben werden.

(#gelösteBsp + Vorrechenpunkte)/(#möglBsp + 5x#Vorrechnen).

Es gibt Beispiele die mit extra credits markiert sind. Diese Beispiele zählen nicht zur Anzahl der möglichen Beispiele. D.h. das sind Zusatzaufgaben mit denen man sich extra Punkte holen kann.