Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik
Professur Theoretische Informatik 

Theorie der Programmiersprachen

Wintersemester 2015/2016

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 7:30-9:00 1/208A Prof. Goerdt
Übung: Freitag 13:45-15:15 1/208 Falke

Links