Logik für Informatiker

Vorlesung

Dienstags, 16:00-18:00, Raum M 001
Donnerstags, 16:00-18:00, Raum D 028 am 14.04.16, 21.04.16, 28.04.16, 12.05.16, 9.06.16, 16.06.16, 23.06.16, 7.07.16, 21.07.16.
  • 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

  • 16.06.2016: Vorlesung
  • 28.06.2016: Übung (16:00-18:00, M001)
  • Keine Übungen am 30.06.2016 und 1.07.2016

  • Klausur

  • Freitag, 29.07.2016, D028, 13:00s.t.-15:00 (120 min)
  • Anmeldung bis 26.07.2016 möglich (über KLIPS)
  • Question/Answer: Donnerstag, 21.07.2016, in der Vorlesung.
  • Klausureinsicht: Freitag, 02.09.2016, 10:00s.t., Raum B 226.
  • Nachklausur

  • Donnerstag, 13.10.2016, 13:00s.t.-15:00 (120 min), Raum D028
  • 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.