Semantik und Kalküle: Unterschied zwischen den Versionen

Version vom 6. September 2011, 17:53 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

SoSe 2007

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)

@@ Zeile 1: / Zeile 1: @@
-<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+{{Vorlage:KlausurBox|titel=|klausurliste=
-=== Klausuren ===
+<!-- Bitte hier als Liste einfügen. -->
-</div>
+}}
 '''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.