Sitzung: Jeden Freitag ab 15 Uhr c. t. online. Falls ihr den Link haben wollt, schreibt uns. Manchmal auch im MAR 0.005 (Jemensch da?). Macht mit!

Semantik und Kalküle

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Fehler in den Lösungen an uns melden

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

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)