Semantik und Kalküle: Unterschied zwischen den Versionen
| Zeile 3: | Zeile 3: | ||
</div> | </div> | ||
| − | '''Semantik und Kalkül''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]. Zuständig dafür sind Prof. Mahr, Sebastian Bab, Thomas Karbe und Nadim Sarrouh. | + | '''Semantik und Kalkül''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]. Zuständig dafür sind Prof. Bernd Mahr, Sebastian Bab, Thomas Karbe und Nadim Sarrouh. |
== Inhalt == | == Inhalt == | ||
Version vom 26. Juni 2009, 14:08 Uhr
Klausuren
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!)
