Theoretische Informatik
|
|
|
Categories for the Working Scientist
VORL; 4 SWS; Schein; ECTS: 8; Di, Mi, 14:30 - 16:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Informationstheorie
VORL; 4 SWS; ECTS: 8; Anf; Mo, 12:30 - 14:00, 05.150; Mi, 10:30 - 12:00, Raum n.V.
|
|
Leeb, K.
|
|
|
|
|
Lambda-Kalkül und Typentheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 14:00 - 16:00, 05.150; Mi, 14:00 - 16:00, 12.150
|
|
Degen, W.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Di, 14:00 - 16:00, 00.152; Mi, 8:30 - 10:00, 2.038
|
|
Müller, H.
|
|
|
|
|
UE; 1 SWS; ben. Schein; ECTS: 2; Di, 13:15 - 14:00, 00.152
|
|
Gossens, S.
|
|
|
|
|
VORL; 2 SWS; Schein; ben. Schein; Kredit: 2/2; ECTS: 4; Mi, 12:30 - 14:00, 2.038
|
|
Strehl, V.
|
|
|
