Logik für Informatiker

Vorlesung

Dienstags, 16:00-18:00, Raum M 001
Donnerstags, 16:00-18:00, Raum D 028 am 24.04.14, 15.05.14, 22.05.14, 5.06.14, 26.06.14, 10.07.14, 24.07.14, 31.07.14.
  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
  • Sprechstunde: Mo, 16:00

    • Übung:

  • Markus Bender

    • Folien

    Übungszettel

    Newsgroup: infko.logik

    Wörterbuch Englisch-Deutsch (Deduktion)

    Aktuelles

  • Klausur
  • Hauptklausur: Montag, 11.08.2014, 13:00-15:00, Raum D 028
  • Question/Answer: Donnerstag, 31.07.2014, in der Vorlesung.

  • Nachklausur: Dienstag, 30.09.2014, 13:30-15:30, Raum D 028
  • Themen/Material
  • Themen (Aussagenlogik, Prädikatenlogik, Prolog)
  • Übungszettel
  • Übersicht Induktion
  • Folien
  • Webseite
  • Alte Klausuren

    • 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.