TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Teaching

Faculty of Computer Science

Teaching  ·  Winter Semester 2005/06

Logik

Lehrveranstaltung im Grundstudium der Studiengänge Informatik, Medieninformatik und Informationssystemtechnik

Lehrbeauftragter:    Prof. Steffen Hölldobler

Umfang:    2 SWS Vorlesungen, 2 SWS Übungen

Notwendige Vorkenntnisse:
  • Mathematische Grundlagen
Literatur:
  • Steffen Hölldobler: Logik und Logikprogrammierung; Synchron Publishers, 2004
  • Melvin Fitting: First-Order Logic and Automated Theorem Proving; Springer, 1997
  • Uwe Schöning: Logik für Informatiker; Spektrum Akademischer Verlag, 2000
Inhalt:
  • Einführung in PROLOG
  • Aussagenlogik
  • Semantische Tableaux und Resolution
  • Andere Beweisverfahren (Deduktion, Sequenzenkalkül, Davis-Putnam, ...)
  • Prädikatenlogik erster Stufe
  • Beweisverfahren in der Prädikatenlogik erster Stufe
  • Implementierungen
  • Theorie der Logikprogrammierung
  • Gleichheit
Weitere Informationen:
Last update: Tue, 2 Aug 2005 17:42:02
Author: Bertram Fronhöfer