Semantik und Kalküle: Unterschied zwischen den Versionen
(→Weblinks: weblink für dieses semester) |
(→Inhalt) |
||
| Zeile 7: | Zeile 7: | ||
== Inhalt == | == Inhalt == | ||
| − | + | * Lambda-Kalkül | |
| + | * Typtheorie | ||
| + | * CPO (Complete Partial Order) | ||
== Weblinks == | == Weblinks == | ||
Version vom 26. Juni 2009, 14:07 Uhr
Klausuren
Semantik und Kalkül ist eine Basisveranstaltung im Informatik-Hauptstudium
Inhalt
- Lambda-Kalkül
- Typtheorie
- CPO (Complete Partial Order)
Weblinks
Tipps und persönliche Kommentare
- (Nicht unterschriebene Kommentare werden gelöscht!)
