50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Einführung in die Logik - CS1002


Veranstaltungsart und -inhalt
Titel Einführung in die Logik
Dozent Prof. Dr. Till Tantau
Einordnung Bachelor-Studiengang Informatik Pflicht), Medizinische Informatik (Pflicht) und IT-Sicherheit 3. Semester,
Bachelor-Studiengang Medienfinformatik (Pflicht), MML 5. Semester, Bachelor-Studiengang Robotik und Autonome Systeme (Wahlpflicht)
Inhalte
  • 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
Buchempfehlungen:
  • 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.
Creditierung
  • 4 KP

Vorlesung
Dozent Prof. Dr. Till Tantau
Umfang 2 SWS
Termine Do 10:00 – 12:00, online

Übung
Assistent M.Sc. Florian Thaeter
Umfang 1 SWS
Termine Gruppe 1, Mo 09:00 bis 10:00 h, online Gruppe 2, Mo 16:00 bis 17:00 h, online Gruppe 3, Di 09:00 bis 10:00 h, online Gruppe 4, Di 12:00 bis 13:00 h, online Gruppe 5, Di 13:00 bis 14:00 h, online Gruppe 6, Mo 11:00 bis 12:00 h, online