Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theorie der Programmiersprachen

Wintersemester 2022/2023

Vorlesung: Theorie der Programmiersprachen

Hinweis zu Theorie der Programmiersprachen

Der elfte Übungszettel ist online.

Hinweis zu Theorie der Programmiersprachen

Die Vorlesungen und Übungen werden in Präsenz stattfinden. Insbesondere wird es keine Aufzeichnungen geben.

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/132 Prof. Goerdt

Die Übungen beginnen am 20.10.2022.

Übung: Donnerstag 9:15 - 10:45 1/132 Pape-Lange

Links