250113, UE 2st, Sommersemester 2011

Übungen zu "Grundbegriffe der Mathematischen Logik"

Die Übungen werden auf Deutsch abgehalten. Eine gesonderte Anmeldung zur Übung ist nicht erforderlich, ausser Sie können nicht in die erste Übungsstunde kommen. In diesem Fall schreiben Sie mir bitte (spätestens 24h vor der zweiten Übungsstunde) ein email mit Namen und Matrikelnummer.

Ergebnis

Tabelle mit dem Ergebnis gibt es hier. (In der Tabelle finden Sie auch die Anzahl der Beispiele, die sie in jeder Übungsstunde angekreuzt haben.) Bitte kontrollieren Sie ihr Ergebnis, und wenn Sie Einwaende haben melden Sie sich so bald wie moeglich bei mir. Die Zeugnisse werden in der Woche 4.-8. Juli ausgestellt.

Benotung

Die Note ergibt sich aus der Anzahl a der gerechneten Beispiele im Verhältnis zur Anzahl b allen gegebenen Beispielen. Sei $q=a/b$.

• Die Zusatzaufgaben werden bei der "Anzahl b aller gegebenen Beispiele" nicht mitgezählt (wenn sie eine Zusatzaufgabe rechnen wird sie aber sehr wohl zu a gezählt; d.h. q>1 ist möglich.
• Wenn Sie (mit sinnvoller BEGRÜNDUNG) nicht an einer Übungsstunde teilnehmen können, dann können Sie mir VOR der jeweiligen Übungsstunde die Beispiele (gescannt, LESERLICH) per email schicken; MAXIMAL zweimal. Falls es öfter vorkommt oder Sie Beispiele NACHBRINGEN wollen, dann ist das nur persönlich und nach Absprache möglich. (Auch beim bis zu zweimaligen Vorbringen von Beispielen halte ich mir eine stichprobenartige Überprüfung vor!)
• Sie können Beispiele nicht "halb" ankreuzen. Nur ganz oder gar nicht.
• Sollten Sie ein Beispiel angekreuzt haben, aber völlig falsch vorrechnen, werde ich Sie auffordern beim nächsten Mal das Beispiel korrigiert nachzubringen.
• Wesentlich problematischer: Sollten Sie eine Beispiel angekreuzt haben aber offensichtlich nicht selbst gerechneten sondern nur (ohne es zu verstehen) abgeschrieben haben, dann müssen wir das weitere Vorgehen noch besprechen. Dieser Fall ist recht problematisch aber wird hoffenltich nicht eintreten.

Die folgenden Informationen sind nicht mehr aktuell.

Zwischenstand

(unaktuell, nur zum Vergleich) Im Folgenden sehen Sie den aktuellen Notenstand VOR der letzten Übungsstunde.
MatrNr ist Ihre Matrikelnummer (leicht anonymisiert),
In der Spalte Note steht der Notenbereich: Sie bessere Note ist die, die Sie bekommen wenn Sie für die letzte Übung alle Beispiele vorbereiten, die schlechtere bekommen Sie für keine Beispiele.
Die Spalte MinBsp gibt an wieviele Beispiele Sie mindestens vorbereiten müssen um die beste Note Ihres Notenbereichs zu bekommen (da Sie keine "halben" Beispiele ankreuzen koennen, ist dieser Wert aufzurunden).
(irrtümer natürlich vorbehalten)

Übungsangaben

Zu rechnende Beispiele:

• 1. Stunde, 2011-03-07: Bsp. 1-6
• 2. Stunde, 2011-03-21: Bsp. 7-14
• 3. Stunde, 2011-03-28: Bsp. 13-21 (Bem: Bsp 19 ist eine "Zusatzaufgabe", siehe unten.)
• 4. Stunde, 2011-04-04: Bsp. 21-28
• 5. Stunde, 2011-04-11: Bsp. 27-34
• 6. Stunde, 2011-05-02: Bsp. 30-37
• 7. Stunde, 2011-05-09: Bsp. 37-45
• 8. Stunde, 2011-05-16: Bsp. 36, 37, 42, 44-49.
• 9. Stunde, 2011-05-23: Skriptum Übungsaufgaben: 3.2 bis bis 3.9
  (Bemerkung: um rekursiv zu zeigen genügt jeweils ein informell gegebener Algorithmus, ein Programm ist nicht nötig.)
• 10. Stunde, 2011-05-30: Skriptum Übungsaufgaben: 3.6 bis 3.14
• 11. Stunde, 2011-06-06: Skriptum Übungsaufgaben: 3.12 bis 3.18.
• 12. Stunde, 2011-06-20: Skriptum Übungsaufgaben: 3.19 bis 3.28.

Das Skriptum finden Sie auf der Webseite von Hans Adler; die Angaben zu Bsp 1-49 hier.

Bemerkungen:

• Im SKriptum sind mehr Beispiele angeführt als für die nächste Stunde vorgesehen. Es ist durchaus möglich dass sich diese zukünftigen Beispiele noch ändern, oder dass manche übersprungen werden.
• Für die Übungen zu den LOOP Programmen ist allenfalls Hans Adler's Javascript Interpreter (verlinkt von seiner Webseite) hilfreich.