Logik für Informatiker


Klausuren SoSe 2020:


Informationen zur Klausur am Freitag, den 16.10.2020

  • Datum: Freitag, 16.10.2020
  • Raum D 028: Beginn: 12:00 Uhr s.t.; Ende: 14:00 Uhr
  • Informationen zu Präsenzprüfungen unter COVID-19 Beschränkungen Zum Ablauf der Klausur Es sind keine Hilfsmittel erlaubt. Am Platz erlaubt sind:
  • Etwas zu trinken
  • Etwas zu essen
  • Schreibgeräte (dokumentenecht, also beispielsweise keine Bleistifte und keine Frixion-Stifte)
  • Studierendenausweis.
  • Insbesondere sind wir angehalten darauf hinzuweisen, dass Mobiltelefone / Smartphones und Smartwatches etc. sowohl ausgeschaltet als auch außerhalb Ihrer Reichweite, d.h. nicht mit am Platz, sein sollen. Wenn Sie keinen Rucksack / keine Tasche dabei haben, um diese Geräte abzulegen, verwahren wir sie für die Dauer der Klausur.

    Finden wir etwas am Platz, was nicht freigegeben ist, werten wir das als Täuschungsversuch, mit allen entsprechenden Konsequenzen.

    Weitere Anmerkungen


    Vorlesung

    Dienstags, 14:00 - 16:00, Raum E 011 am Donnerstags, 16:00 s.t. - 18:00, Raum M 001.

  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
  • Sprechstunde: Mo, 16:00

  • Übung:

  • Do. 8:00-9:00: Sebastian Thunert (Raum: G 309)
  • Do. 9:00-10:00: Sebastian Thunert (Raum: G 309)
  • Fr. 8:00-9:00: Sebastian Thunert (Raum: G 309) (vorerst ausgesetzt)
  • Fr. 9:00-10:00: Sebastian Thunert (Raum: G 309)

  • Folien

    Übungszettel

    Newsgroup: infko.logik

    UPDATE, 14.10.20: Newsgroup nicht erreichbar. Diskussionsforum zur Vorlesung "Logik für Informatiker"

    Wörterbuch Englisch-Deutsch (Deduktion)

    Aktuelles

  • Klausur: Do, 6.08.2020 Details: hier
  • Klausur: Fr, 16.10.2020 Details: hier

  • Die Vorlesung findet nicht statt in den Pfingtsferien
  • Die Übung findet nicht statt in den Pfingstferien
  • Erste Vorlesung: Dienstag, 21.04.2020, 14:00-16:00

    Aktuelles: Virtuelle Treffen

  • Folien (alle Links in den Folien sind anklickbar)

  • 21.04.2020: Konferenzsystem BBB (Online: 14.04.2020, Audio: 17.04.2020)
  • 23.04.2020: Konferenzsystem BBB (Online: 17.04.2020, Audio + Erklärungen: 22.04.2020)
  • 30.04.2020: Konferenzsystem BBB (Online: 25.04.2020, Audio + Erklärungen: 28.04.2020)
  • 05.05.2020: Konferenzsystem BBB (Update: 3.05.2020, Audio: 3.05.2020)
  • 07.05.2020: Konferenzsystem BBB (Online: 2.05.2020, Audio: 5.05.2020)
  • 14.05.2020: Konferenzsystem BBB (Online: 10.05.2020, Audio: 12.05.2020)
  • 19.05.2020: Konferenzsystem BBB (Online: 12.05.2020, Audio: 17.05.2020)
  • 26.05.2020: Konferenzsystem BBB (Online: 21.05.2020/23.05.2020, Audio: 23.05.2020)
  • 28.05.2020: Konferenzsystem BBB (Online: 21.05.2020, Audio: 26.05.2020)
  • 09.06.2020: Konferenzsystem BBB (Online: 6.06.2020, Audio: 6.06.2020)
  • 16.06.2020: Konferenzsystem BBB (Online: 12.06.2020, Audio: 13.06.2020)
  • 18.06.2020: Konferenzsystem BBB (Online: 14.06.2020, Audio: 14.06.2020)
  • 23.06.2020: Konferenzsystem BBB (Online: 21.06.2020, Audio: 21.06.2020)
  • 25.06.2020: Konferenzsystem BBB (Online: 21.06.2020, Audio: 23.06.2020)
  • 30.06.2020: Konferenzsystem BBB (Online: 21.06.2020, Audio: 27.06.2020)
  • 2.07.2020: Prolog (mit Sebastian Thunert)
  • 7.07.2020: Konferenzsystem BBB (Online: 30.06.2020, Audio: 3.07.2020)
  • Details zur Organisation der Vorlesung

    Die Folien der Vorlesungen (+ zusätzliche Materialen) werden 4-5 Tage vor
    jeder Vorlesung auf der Webseite zu finden sein.

    Audio-kommentierte Folien für Teile der Vorlesung werden auf Panopto zur
    Verfügung gestellt:

  • Panopto: Logik für Informatiker/Vorlesung
  • Panopto: Logik für Informatiker/Übung
  • Bitte beachten Sie, dass der Ordner "Logik für Informatiker" nur
    die zwei Ordner "Übung" und "Vorlesung" enthät und keine Dateien.
    Der Ordner "Vorlesung" enthält die Einführungsfolien sowie
    Unterverzeichnisse (einen für jeden Termin der Vorlesung).

    Selbststudium: Bitte lesen Sie die Folien und ggf. hören sich die Erklärungen an.
    Dies sollte idealerweise vor dem Termin der Vorlesung geschehen.
    Falls Sie Fragen haben, können Sie Ihre Fragen im Newsgroup infko.logik bis
    ca. 8 Stunden vor der Vorlesung stellen. Ich werde Ihre Fragen systematisch entweder
    auf infko.logik oder in der Konferenz-Session (während der Vorlesungszeiten)
    beantworten.

    Konferenz-Session: Während der Zeiten, die für die Vorlesung bestimmt sind,
    stehe ich für Fragen und weitere Erklärungen online zur Verfügung.
    Als Konferenzsystem werden wir OpenMeetings (OLAT) oder BigBlueButton benutzen.
    Genauere Informationen wurden per E-Mail an alle Teilnehmer geschickt.

    TEST OpenMeetings Link (Der dafür benötigte Schlüssel wird per E-Mail geschickt)

    OpenMeetings: Manual

    Aktuell konnten bei OpenMeetings mit Chrome als Browser die besten Ergebnisse erzielt werden.

    Falls die Konferenzsysteme Beschränkungen der Teilnehmerzahl haben,
    oder falls bei grossen Zahlen von Teilnehmern die Systeme nicht gut funktionieren,
    werde ich die Diskussionen entsprechend der Übungsgruppen organisieren und
    gegebenenfalls (wenn möglich) die Sessionen in Panopto oder OLAT hochladen.


  • Klausur

  • Do. 6.08.2020 (schriftlich, 120 min)
  • D 028: 12:00-14:00
  • E 011: 12:30-14:30
  • M 001: 12:30-14:30
  • M 201: 13:00-15:00
  • Die Verteilung auf Räume wird rechtzeitig bekanntgegeben
  • Anmeldung über KLIPS
  • Rücktritt über KLIPS
  • Question/Answer: Donnerstag, 16.07.2020, in der Vorlesung.
  • Nachklausur

  • Fr. 16.10.2020 (schriftlich, 120 min)
  • D 028: 12:00-14:00 (Raum noch nicht bestätigt)
  • E 011: 12:30-14:30 (Raum noch nicht bestätigt)
  • Die Verteilung auf Räume wird rechtzeitig bekanntgegeben
  • Anmeldung über KLIPS (ab September möglich)
  • Rücktritt über KLIPS

  • Inhalt

  • Einführung
  • Rolle der Logik in der Informatik
  • Grundlegenden Beweisstrategien (insbesondere Induktion/strukturelle Induktion)
  • Aussagenlogik
  • Syntax und Semantik
  • Resolution, Vollsätndigkeits- und Korrektheitsbeweise
  • Analytische Tableaux
  • Prädikatenlogik
  • Syntax und Semantik
  • Resolution, Vollständigkeits- und Korrektheitsbeweise
  • Analytische Tableaux

  • Literatur

  • Ulrich Furbach:
    Logic for Computer Scientists.
    Vorlesungsskriptum und Wikibook
  • Uwe Schöning:
    Logik für Informatiker, 5. Auflage. Spektrum Akademischer Verlag, 2000.
  • Melvin Fitting:
    First-Order Logic and Automated Theorem Proving, 2. Auflage. Springer-Verlag, 1990.