Logik für Informatiker

Vorlesung

Montags, 16:00-18:00, Raum M 001
Dienstags, 16:00-18:00, Raum F 313 Raum M 001
  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
  • Sprechstunde: Mi, 16:00

    • Übung:

  • Markus Bender
  • Michael Krawez

    • Folien

    Übungszettel

    Newsgroup: infko.logik

    Wörterbuch Englisch-Deutsch (Deduktion)

    Aktuelles

  • Klausur
  • Themen/Material
  • Themen [.pdf] . Material: Folien; Übersicht Induktion; Übungszettel
  • Alle Folien [all-slides.pdf] (4 Folien auf einer Seite: [all-slides-4.pdf])

  • Hauptklausur: Montag, 23.07.2012, 16:00-18:00, Raum D 028
  • Anmeldebeginn: 25.06.2012; Anmeldeende: 22.07.2012
  • Anmeldung erfolgt über die Prüfungsverwaltung von KLIPS
  • Prüfungsanmeldung in KLIPS: algemeine Hinweise

  • Einsicht in die Klausur: 03. September 2012, 10:00 Uhr bis 11:00 Uhr, Raum: B226
  • Wer eine weitere Möglichkeit zur Einsicht in die Klausur wahrnehmen möchte, möge sich bitte zwecks
    Terminfindung bis zum 07.09.12 per E-Mail mit mir (sofronie@uni-koblenz.de) in Verbindung setzen.
  • Lösung

  • Frage- und Antwortstunde: 24.09.2012, 15:30-17:30, Raum B225
  • Wer daran teilnehmen möchte, möge sich bitte verbindlich per E-Mail an sofronie@uni-koblenz.de anmelden.

  • Nachklausur: Freitag, 28.09.2012, 14:00-16:00, Raum E 011
  • Anmeldeende: 27.09.2012
  • Anmeldung erfolgt über die Prüfungsverwaltung von KLIPS
  • Prüfungsanmeldung in KLIPS: algemeine Hinweise
  • Lösung
  • Einsicht in die Klausur: 22. Oktober 2012, 09:30 Uhr bis 10:30 Uhr, Raum: B226

  • Erste Übung: Do, 19.04.2012, 8:00 c.t.; Raum A 213
  • Start der Vorlesung Mo und Di: 16.00 s.t.

    • Inhalt

  • Einführung
  • Rolle der Logik in der Informatik
  • Grundlegenden Beweisstrategien (insbesondere noethersche Induktion)
  • Aussagenlogik
  • Syntax und Semantik
  • Resolution, Vollsätndigkeits- und Korrektheitsbeweise
  • Analytische Tableaux
  • DPLL
  • 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.