Theoretische Informatik
|
|
Categories for the Working Scientist
VORL; 4 SWS; Schein; ECTS: 8; Mi, Do, 10:00 - 12:00, 05.150
|
|
Leeb, K.
|
|
|
|
Lambda-Kalkül und Typentheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 10:00 - 12:00, 05.150; Vorbesprechung: 17.10.2002, 16.00 - 17.00 Uhr, 05.150
|
|
Degen, W.
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi, 8:30 - 10:00, 2.038; Do, 8:30 - 10:00, 00.151
|
|
Müller, H.
|
|
|
|
UE; 1 SWS; ben. Schein; ECTS: 2; Di, 13:15 - 14:00, 00.152
|
|
Müller, H.
|
|
|
|
Topics in Algorithms and Complexity [ACtopics]
V/UE; 4 SWS; ben. Schein; ECTS: 8; Do, 16:00 - 17:30, E 1.11; Fr, 8:30 - 10:00, E 1.11; ab 16.10.2002
|
|
Strehl, V.
|
|
|