Logik

Sommersemester 2019

Inhalt:

• Ausdrücke, semantische Äquivalenz, Normalformen, Verfahren zur (Semi-)Entscheidbarkeit des Erfüllbarkeitsproblems in der Aussagen- und Prädikatenlogik, theoretische Grundlagen der logischen Programmierung, Ausblick auf weitere informatikrelevante Logiken.

• Jon Barwise und John Etchemendy: Sprache, Beweis und Logik. Mentis-Verlag, 2005, ISBN: 978-3-89785-440-6, siehe auch hier.
  Das Buch ist in mehreren Exemplaren in der Universitätsbibliothek verfügbar.

• Zum Buch gehören die Programme „Tarski's World“, „Fitch“, „Boole“ und „Submit“ (für Details siehe hier). Die Software läuft auf den Plattformen Linux, Windows sowie Mac.

• Zu den Übungen gibt es wöchentlich Übungsaufgaben.
• Es müssen zu Beginn jeder Übung Aufgaben votiert werden, dabei bedeutet eine Votierung:
  „Ich habe diese Aufgabe selbstständig bearbeitet und ich bin davon überzeugt, dass mein/unser Lösungsvorschlag vollständig und korrekt ist. Ich bin dazu bereit und darauf vorbereitet, diese Lösung an der Tafel oder am Rechner vorzutragen. Dabei kann ich alle Zwischenschritte herleiten und erläutern, wie die Lösung zustande kam. Insbesondere kann ich die Aufgabenstellung selbst sowie alle für diese Aufgabe relevanten Begriffe erklären.“
• Eine Lösung ist erfolgreich vorgetragen, falls Folgendes gilt:
  • Verständnis: „Die Aufgabenstellung und insbesondere alle relevanten Begriffe können erklärt werden.“
  • Korrektheit: „Die Lösung ist korrekt, oder kann während des Vortrags mit wenig Hilfe korrigiert werden.“
  • Vortrag: „Der Lösungsweg ist verständlich dargelegt und Details können auf Nachfrage konkretisiert werden.“
• Für die Erfolgreiche Teilnahme an den Übungen sind folgende Leistungen zu erbringen:
  • Mindestens zwei Drittel der Übungsaufgaben müssen am Ende des Semesters votiert worden sein.
    Bitte beachten Sie, dass eine Krankschreibung nicht die Anzahl der zu erbringenden Votierungen reduziert.
  • Mindestens zweimal muss man in den Übungen erfolgreich vorgetragen haben.
  • Mindestens zwei Drittel der abzugebenden Aufgaben müssen über das Programm „Submit“ eingereicht worden sein (für Details siehe hier).
• Die erfolgreiche Teilnahme an den Übungen ist Voraussetzung für die Teilnahme an der Klausur.
• Für das Erwerben eines Leistungsnachweises benötigen Sie
  • eine erfolgreiche Teilnahme an den Übungen
  • sowie das Bestehen der Leistungsnachweisklausur
• Für die Studenten der Wirtschaftsinformatik gibt es zusätzliche Aufgaben, von denen sie am Ende des Semesters ebenfalls zwei Drittel votiert bzw. eingeschickt haben müssen, um den zusätzlichen CP zu erwerben.

• Die Klausur findet am Freitag, dem 26. Juli 2019, von 10:00 bis 12:00 Uhr in der Stadthalle Magdeburg statt:
  • Hier finden Sie Informationen zur Anreise.
  • Der Einlass der erfolgt 15 min vor Prüfungsbeginn.
  • Achtung, die Türen werden nach Beginn der Prüfungen wieder verschlossen.
• Es sind keine Hilfsmittel zugelassen, Schreibutensilien sind mitzubringen, Schreibpapier wird gestellt.
• Sie benötigen einen Ausweis mit Lichtbild zum Abgleich mit den Prüfungslisten.

• Den Studierenden, die die Berechtigung an der Teilnahme zur Klausur in diesem Semester erworben haben, wurde das per E-Mail an die Adresse, die zur Einschreibung für die Übungsgruppen zu Beginn des Semesters verwendet wurde, bestätigt.
  Im Zweifelsfalle wenden Sie sich bitte per E-Mail an den Webmaster.
• Die in dieser Vorlesung erreichte Berechtigung gilt für die Teilnahme
  • an der Prüfungsklausur (benotete Leistung) sowie
  • an der Klausur zum Erwerb eines unbenoteten Leistaungsnachweises.

• Der Zugang zu den internen Seiten mit den Lehrmaterialien ist geschützt.
  Sie haben freien Zugang aus der Domain ovgu.de (IP-Raum 141.44).
  Für den Zugang von außerhalb werden in der ersten Vorlesung die Zugangsdaten bekannt gegeben, alternativ können Sie einen VPN-Zugang zur Domain ovgu.de benutzen.
• An der Fakultät stehen im Raum G29-144 zwei Rechner zur Verfügung (linke Seite, sind gekennzeichnet), auf denen die Software installiert ist.
• Bei Fragen und Problemen wenden Sie sich bitte per E-Mail an den Webmaster.

• Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7, Teil 8, Teil 9, Teil 10, Teil 11, Teil 12, Teil 13, Teil 14.
• Folien komplett.

• Übung 1 (15. KW), Übung 2 (16./17. KW), Übung 3 (17./18. KW), Übung 4 (19. KW), Übung 5 (20. KW), Übung 6 (21. KW),
• Übung 7 (22. KW), Übung 8 (23. KW), Übung 9, TW-Dateien-UB09 (24. KW), Übung 10 (25. KW), Übung 11 (26. KW), Übung 12 (27. KW).

Webmaster