Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Logik in der Informatik (LI)

Studienpunkte: 10

Lern- und Qualifikationsziele

Studierende erlangen die Fähigkeit, Sachverhalte in geeigneten formalen Systemen zu formalisieren und die grundlegenden Begriffe und Ergebnisse der mathematischen Logik zu verstehen und anzuwenden. Darüber hinaus erlernen sie anhand der deklarativen Programmiersprache Prolog ein neues Programmierparadigma.

Inhalte

  • Einführung in die mathematische Logik und ihre Anwendungen in der Informatik
  • Einführung in logikbasierte Programmiersprache Prolog
  • Einzelne Themen:
    • Aussagenlogik (Grundlagen, Kompaktheitssatz, Resolution)
    • Prädikatenlogik der 1.Stufe (Grundlagen, Beweiskalkül, Vollständigkeitssatz, Kompaktheitssatz und Anwendungen, Satz von Herbrand)
    • weitere logische Systeme (beispielsweise modale und temporale Logiken)
    • Programmierung in Prolog

Dozent

Prof. Dr. Martin Grohe

Links

Logik in der Informatik (WS 09/10)