Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Semantik und Kalküle: Unterschied zwischen den Versionen

(neu und jungfräulich)
 
K (Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten)
 
(6 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
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 ==
 
== Inhalt ==
TODO
+
* Lambda-Kalkül
 +
* Typtheorie
 +
* CPO (Complete Partial Order)
  
 
== Weblinks ==
 
== Weblinks ==
 +
* [http://flp.cs.tu-berlin.de/lv/sose-07-sem-und-kal-iv.html SoSe 2007]
  
 
== Tipps und persönliche Kommentare ==
 
== Tipps und persönliche Kommentare ==
Zeile 16: Zeile 18:
  
 
[[Kategorie:Lehrveranstaltungen]]
 
[[Kategorie:Lehrveranstaltungen]]
[[Kategorie:Fakultäts-ABC]]
 
[[Kategorie:Meta:TODO]]
 
  
 
__NOTOC__
 
__NOTOC__

Aktuelle Version vom 2. April 2012, 22:48 Uhr

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Fehler in den Lösungen an uns melden

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!)