Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik
Professur Theoretische Informatik 

Theorie der Programmiersprachen

Wintersemester 2012/2013

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:Donnerstag09:15-10:451/368AProf. Goerdt

Konsultation:

Die Konsultation findet am 08.02.2013 statt.

  • Raum: 1/346
  • Zeit: 13:00 Uhr

Prüfungstermin:

Die Prüfung findet am 12.02.2013 statt.

  • Raum: 1/208A
  • Beginn: 9:00 Uhr

Übung:Dienstag13:45-15:151/205Falke

Links