Sommersemester 2000 - Übungen zur Logik

Aktuelles

Zur Vorbereitung auf die Modul- bzw. Vordiplomprüfung am 14. September können Sie sich mit diesen Aufgaben zu Mengentheoretischen Grundlagen, Automaten und Sprachen sowie Berechenbarkeit und Komplexität beschäftigen.

(Für das 4. Semester:) Zur Wiederholung für Automaten, Sprachen, Berechenbarkeit und Komplexität empfehle ich das Buch Ingo Wegener: Theoretische Informatik (Verlag B. G. Teubner, ISBN 3-519-02123-4, 1993). Es enthält bei knapp bemessenem Preis (< 40 DM) eine Fülle von Übungsaufgaben und im Kapitel 9 eine Zusammenfassung nebst Testfragen - wenn Sie das beherrschen, kann Ihnen nichts passieren.

Ansonsten wünsche ich viel Erfolg bei dieser Prüfung (und eventuellen anderen). Ich sehe hoffentlich eine Obermenge einer Teilmenge von Ihnen im Wintersemester 00/01 bei meiner Vorlesung Praxis der Funktionalen Programmierung wieder.

Für das kommende Semester suchen wir studentische Hilfskräfte, die Übungsaufgaben zu Mengentheoretisch-Algebraischen Grundlagen sowie Automaten und Formalen Sprachen korrigieren. Wir haben insgesamt 7 Stellen zu je 4 Monaten mal 6 Stunden pro Woche mal ca. 12 DM pro Stunde (unverbindliche Preisempfehlung :-) Interessenten melden sich bitte bei Prof. Herre oder Dr. Hartwig.

Informationen zur Klausur für die Übungsscheine (30. Juni)

Skript

Übungsaufgaben

Wir kommen Ihrem (verständlichen, aber auch verständlicherweise unerfüllbaren) Wunsch nach Musterlösungen entgegen, indem wir Hinweise zu den Lösungswegen anbieten.

Zum Selbsttest versuchen Sie bitte trotzdem zunächst, die Aufgaben ohne Hinweise zu lösen.

• Serie 6 (7. 6.) Hinweise
• Serie 5 (24. 5.) Hinweise
• Serie 4 (3. 5.) Hinweise
• Serie 3 (26. 4.) Hinweise
• Serie 2 (19. 4.) Hinweise
• Serie 1 (5. 4.)

Ergänzendes

• Software zum Rechnen mit Prädikatenlogischen Formeln. Das ist erstmal nur zum Lesen gedacht. Sie können die Programme aber auch mit dem Haskell-Interpreter hugs ausführen. Wenn Sie genauer wissen wollen, wie das geht, dann kommen Sie im nächsten Semester in meine Vorlesung Praxis der Funktionalen Programmierung.
• Ein Vortrag, der einige lösbare Fälle des Erfüllbarkeitsproblems für prädikatenlogische Formeln beleuchtet.
• Eine Sammlung von Beispielen für Geometrische Axiome verdeutlicht die Anwendung der Prädikatenlogik bei der exakten Fundierung der Mathematik.
• Welche dieser beiden Formeln ist erfüllbar? Auflösung: die erste ja, die zweite nein. Die Formeln kodieren die Ramsey-Aussagen R(3,3)>5 und 6 >= R(3,3). Zu Ramsey-Zahlen und -Theorie siehe dieses Programmierprojekt und diese und Vorlesung.
• Falls Sie in diesem Semester am Java-Praktikum bei Herrn Dr. Wolff teilnehmen und gleichzeitig Ihre Kenntnisse in Theoretischer Informatik anwenden oder verbessern wollen, können Sie ein Programmmier-Projekt aus dieser Liste wählen.

Literatur

• Karel Berka und Lothar Kreiser: Logik-Texte, Akademie-Verlag (Ost-)Berlin, 1986
• Douglas R. Hofstadter: Gödel Escher Bach, deutsche Ausgabe bei Klett-Cotta, 1985

Skripte und Übungsaufgaben zu früheren Logik-Vorlesungen:

• Sommersemester 98 (Prof. Herre)
• Sommersemester 99 (Prof. Gerber)

Koordinaten

• Vorlesung (Prof. H. Herre) mittwochs, 17:15 Uhr, Hörsaal 13

• Seminare
  • dienstags (A und B) 9.15, Raum 3-05 (Dr. Waldmann)
  • dienstags (A und B) 11.15 Uhr, Raum 3-07 (Dr. Hartwig)
  • dienstags (A und B) 13.15, Raum 3-09 (Dr. Waldmann)
  • mittwochs (A) 9.15 Uhr, Raum 3-09 (M. Hartwig)
  • mittwochs (A) 11.15 Uhr, Raum 3-09 (M. Hartwig)
  • donnerstags (A) 17.15 Uhr, Raum 3-03 (Dr. Hartwig)
  • freitags (A) 7.30 Uhr, Raum 3-07 (Dr. Hartwig)

• Seminarleiter
  • Dr. R. Hartwig
  • M. Hartwig
  • Dr. J. Waldmann

Details