Seminar Curry-Howard Korrespondenz (SemCurry)
- Dozentinnen/Dozenten
- Dr. Tadeusz Litak, Dr. Daniel Gorin
- Angaben
- Seminar
2 SWS, ECTS-Studium, ECTS-Credits: 5
geeignet als Schlüsselqualifikation, Sprache Englisch
Zeit und Ort: Do 18:00 - 20:00, Raum n.V.; Bemerkung zu Zeit und Ort: Seminarraum LS INF8, Martensstr. 3, 11. OG
ab 18.10.2013
Vorbesprechung: 18.10.2013, 14:00 - 16:00 Uhr
- Studienfächer / Studienrichtungen
- PF INF-MA ab 7 (ECTS-Credits: 5)
PF INF-BA-S ab 4 (ECTS-Credits: 5)
PF INF-BA-W ab 4 (ECTS-Credits: 5)
WF M-BA ab 4 (ECTS-Credits: 5)
WF M-MA ab 7
- ECTS-Informationen:
- Credits: 5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 15, Maximale Teilnehmerzahl: 15
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2013/2014:
- Seminar Curry-Howard Korrespondenz (SemCurry)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|