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 2010/11

Veranstalter
Carola Eschenbach
Zeit/Ort
Di 10-12 B-201
Aktuelles
Die mündlichen Prüfungen halte ich (wenn nicht individuell anders vereinbart) in meinem Büro F-413 ab.
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 2009/10. 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