Theoretische Informatik
|
|
|
Categories for the Working Scientist
VORL; 4 SWS; Schein; ECTS: 8; Mo, Mi, 10:00 - 12:00, 05.150; ab 15.10.2001
|
|
Leeb, K.
|
|
|
|
|
VORL; 2 SWS; ECTS: 4; Di, 12:15 - 13:45, 00.152
|
|
Meyn, H.
|
|
|
|
|
Lambda-Kalkül und Typentheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi, Fr, 12:30 - 14:00, 05.150; ab 16.10.2001
|
|
Degen, W.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi, 8:30 - 10:00, 0.031; Do, 8:30 - 10:00, 00.151
|
|
Müller, H.
|
|
|
|
|
UE; 1 SWS; ben. Schein; ECTS: 2; Di, 14:15 - 15:00, 00.152
|
|
Becker-Wenneker, M.
|
|
|
|
|
Topics in Computer Algebra 1 [TCA1]
VORL; 2 SWS; ben. Schein; ECTS: 4; Mi, 10:15 - 11:45, H4
|
|
Strehl, V.
|
|
|
