Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (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!)