Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theorie der Programmiersprachen

Wintersemester 2017/2018

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: Donnerstag 9:15 - 10:45 1/132 Prof. Goerdt
Übung: Donnerstag 15:30 - 17:00 1/132 Dr. Falke

Links