50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Logik für Informatiker


Type and Content

Title: Logik für Informatiker
Host: Tantau, Balbach
Classification: Bachelor-Studiengang 1. Semester, Pflicht
Conentent:
  • Grundbegriffe der Syntax: Alphabet, String, Term, Formel
  • Grundbegriffe der Semantik: Belegung, Struktur, Modell, Theorie
  • Grundbegriffe der Kalküle: Axiome, Beweise
  • Formalisierung und Kodierung von Problemen und Systemen
  • Überprüfung von Formalisierungen auf Korrektheit und Erfüllbarkeit
  • Syntax und Semantik der Aussagenlogik
  • Syntax und Semantik der Prädikatenlogik
  • Beweiskalküle
Literature:
  • Schöning: Logik für Informatiker, Spektrum Verlag, 1995.
  • Kreuzer, Kühlig: Logik für Informatiker, Pearson Studium, 2006.
  • Dassow: Logik für Informatiker, Teubner, 2005.
  • Huth, Ryan: Logic in Computer Science, Cambridge University Press, 2004.
  • Monin: Understanding Formal Methods, Springer 2003.
Wiki: Wiki of the event

Lecture

Host: Tantau
Hours: 2 SWS, 4 ECTS
Dates: Fr. 10h – 12h, H1

Exercise

Host: Balbach
Hours: 1 SWS
Dates: Fr. 12h – 15h, R1 (Einzeltermin am 26.1.2007 12h-15h, H2)