Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theorie der Programmiersprachen

Wintersemester 2021/2022

Vorlesung: Theorie der Programmiersprachen

Hinweis zu Theorie der Programmiersprachen

Der vierzehnte Übungszettel ist online.

Hinweis zu Theorie der Programmiersprachen

Bei Fragen zur Vorlesung können Sie sich an Julian Pape-Lange ( ) wenden.

SWS (V/Ü/P)

2/2/0

Voraussetzungen

Interesse an formalen Fragen.

Inhalt

  • Aussagenlogik
  • Prädikatenlogik
  • Logik-Programmierung

Literatur

  • Uwe Schöning: Logik für Informatiker, Spektrum Verlag.

Links