Semantik und Kalküle: Unterschied zwischen den Versionen

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

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.
@@ Zeile 18: / Zeile 18: @@
 [[Kategorie:Lehrveranstaltungen]]
-[[Kategorie:Fakultäts-ABC]]
-[[Kategorie:Meta:TODO]]
 __NOTOC__