Theoretische Informatik
|
|
|
Beweistheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 16:00 - 17:30, 05.150; Mi, 12:30 - 14:00, 05.150; n. Vorankundigung; Vorbesprechung: 25.4.2001, 15:00 - 16:00 Uhr, 05.150
|
|
Degen, W.
|
|
|
|
|
Categories for the Working Scientist
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi; Vorbesprechung: 25.4.2001, 12:15 - 13:00 Uhr, 05.150
|
|
Leeb, K.
|
|
|
|
|
Kryptographie II
V/UE; 4 SWS; ben. Schein; ECTS: 8; Di, 10:00 - 11:30, 00.151; Fr, 14:00 - 15:30, 00.151; Vorbesprechung: 24.4.2001, 12:00 - 13:00 Uhr
|
|
Meyn, H.
|
|
|
|
|
VORL; 3 SWS; ben. Schein; ECTS: 6; Di, 14:15 - 15:45, H5; Do, 9:15 - 10:00, H5
|
|
Müller, H.
|
|
|
