Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theorie der Programmiersprachen

Wintersemester 2018/2019

Vorlesung: Theorie der Programmiersprachen

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.

Termine

Vorlesung: Montag 11:30 - 13:00 1/208 Prof. Goerdt

Die Übungen beginnen in der Woche vom 15.10.2018.

Übung: Dienstag 17:15 - 18:45 1/208 Pape-Lange

Links