Semantik und Kalküle

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Für diese Veranstaltung noch keine eingesandt.

Semantik und Kalkül ist eine Basisveranstaltung im Informatik-Hauptstudium. Zuständig dafür sind Prof. Bernd Mahr, Sebastian Bab, Thomas Karbe und Nadim Sarrouh.

Inhalt

Lambda-Kalkül
Typtheorie
CPO (Complete Partial Order)

Weblinks

SoSe 2007

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)