MIN-Fakultät
Fachbereich Informatik
Arbeitsbereich Wissens- und Sprachverarbeitung
UHH > MIN > Informatik > WSV > Lehre Web-Mail Suche Seitenende

64-300 Vorlesung: FGI 3 - Logik
Wintersemester 2011/12

Veranstalter
Carola Eschenbach
Zeit/Ort
Di 10-12 B-201
Aktuelles
Die Folienkopien sind angekommen. Sie sind in Haus F im WSV-Flur (je nach Zählung 3 oder 4) ausgelegt.
Die Vorlesung findet am 15.11.10 wegen der Uni-Tage in D-125 statt.
Inhalt
Eigenschaften verschiedener Logiken, insbesondere verschiedener entscheidbarer Fragmente der Prädikatenlogik. Entscheidungsverfahren basierend auf Tableau-Methoden. Grundprinzipien der Definition logischer Systeme. Aneignung von wichtigen Techniken für die Analyse und das Verständnis der Spezifikation von Informatiksystemen.
  • Konsolidierung der im Bachelor-Studiengang (oder Grundstudium) vermittelten Kenntnisse über Aussagen- und Prädikatenlogik, Beweistheorie - Modelltheorie
  • Vertiefung des Verständnisses an Hand von weiteren Kalkülen (Tableaukalkül)
  • Modale Aussagenlogik, Zeitlogik auf der Basis von Modallogik, Beschreibungslogiken
  • Sortenlogik, Logik höherer Stufen
  • Typtheorie, Lambda-Kalkül
Vorgehen
Vorlesung. Es wird die Vor- und Nachbereitung an Hand der angegebenen Literatur erwartet. Material für selbstständige Übungen wird zur Verfügung gestellt.
Literatur

Allgemeine Lehrbücher
  • Fitting, Melvin (1996; 2nd). First-order logic and automated theorem proving. New York: Springer-Verlag.
  • Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science. London: Springer.
  • Nerode, Anil & Richard A. Shore (1997). Logic for Application. New York: Springer.

Mehrwertige Logik
  • Urquhart, Alasdair (1986). Many-valued logic. In D. Gabbay & F. Guenthner (eds.) Handbook of Philosophical Logic. Alternatives in Classical Logic, Vol. III (pp. 71-116). Reidel: Dordrecht.
  • Hähnle, Reiner (1999). Tableaux for many-valued logics. In M. D'Agostino, D.M. Gabbay, R. Hähnle & J. Posegga (eds.) Handbook of Tableau Methods (pp. 529-580). Kluwer Academic Publishers: Dordrecht.
  • Carnielli, Walter A. (1987). Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic 52. 473-493.
Folien
Die Foliensätze, die hier zu Beginn des Semesters zu finden sind, entsprechen dem Stand der Vorlesung "FGI3: Logik" des Wintersemesters 2010/11. Im Laufe des Semesters füge ich ggf. aktualisierte Fassungen und auch Übungsunterlagen hier ein.
Die Foliensättze enthalten neben den Folien, die ich in der Vorlesung verwende, ergänzende Folien, die das Verständnis erleichtern sollen.
Links