50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Intoruction to Logic


Classification and Contents
Title Introduction to Logic
Lecturer Prof. Dr. Till Tantau
Classification Bachelor-Studiengang Informatik, Medizinische Informatik 3. Semester,
Bachelor-Studiengang Medienfinformatik, MML 5. Semester,
ACHTUNG: Informatik und Med. Informatik nur für Wiederholer, sowie Wahlpflicht MML, MIW
Contents
  • 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.

Lecture
Lecturer Prof. Dr. Till Tantau
Credits 2 SWS
Hours Wed. 12:00 – 14:00, AM 4

Exercises
Assistent M.Sc. Tim Kunold
Credits 1 SWS
Hours 5 groups, Fr. 08:00 bis 11:00 h, AM 4, Sem.Room 5 (von Neumann), ITCS 2021