Semantik und Kalküle: Unterschied zwischen den Versionen
Mutax (Diskussion | Beiträge) K (Klausurbox) |
K (Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten) |
||
| Zeile 18: | Zeile 18: | ||
[[Kategorie:Lehrveranstaltungen]] | [[Kategorie:Lehrveranstaltungen]] | ||
| − | |||
| − | |||
__NOTOC__ | __NOTOC__ | ||
Aktuelle Version vom 2. April 2012, 22:48 Uhr
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
Tipps und persönliche Kommentare
- (Nicht unterschriebene Kommentare werden gelöscht!)
