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]]
+'''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 ==
-TODO
+* Lambda-Kalkül
+* Typtheorie
+* CPO (Complete Partial Order)
 == Weblinks ==
+* [http://flp.cs.tu-berlin.de/lv/sose-07-sem-und-kal-iv.html SoSe 2007]
 == Tipps und persönliche Kommentare ==
@@ Zeile 16: / Zeile 18: @@
 [[Kategorie:Lehrveranstaltungen]]
-[[Kategorie:Fakultäts-ABC]]
-[[Kategorie:Meta:TODO]]
 __NOTOC__