50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Logic for Computer Scientists


Classification and Contents

Title Logic for Computer Scientists
Lecturer Prof. Dr. Rüdiger Reischuk
Classification Bachelor-Studiengang Informatik 1. Semester,
Bachelor-Studiengang Medizinische Informatik 1. Semester,
Bachelor-Studiengang Medizinische Ingenieurwissenschaft 3. Semester
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.
Wiki Wiki of the course »Logic for Computer Scientists«

Lecture

Lecturer Prof. Dr. Rüdiger Reischuk
Credits 2 SWS, ECTS-Credits: 4
Hours Thu 10:00 – 12:00, AM 1 (on 2nd of February 2012 and 9th of February 2012 the lecture will take place in room H1)

Exercises

Assistent Dipl.-Inf. Michael Elberfeld
Credits 1 SWS
Hours 8 groups - Fri 8:00 – 14:00