Theoretische Informatik
|
|
|
Kategorien - Categories for the Working Scientist
VORL; 4 SWS; Schein; ECTS: 8; Zeit und Raum n.V.
|
|
Leeb, K.
|
|
|
|
|
Kryptographie I
V/UE; 2 SWS; ben. Schein; ECTS: 4; Fr, 12:30 - 14:00, 05.150; Do; ab 20.10.2000
|
|
Meyn, H.
|
|
|
|
|
Temporale und Dynamische Logiken
VORL; 4 SWS; ben. Schein; ECTS: 8; Anf; Mo, Mi, 16:00 - 18:00, 05.150; ab 23.10.2000
|
|
Degen, W.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi, 8:30 - 10:00, 0.031; Do, 8:30 - 10:00, 00.151; ab 18.10.2000
|
|
Müller, H.
|
|
|
|
|
UE; 1 SWS; ECTS: 2; Di, 14:15 - 15:00, Raum n.V.; ab 23.10.2000
|
|
Becker-Wenneker, M.
|
|
|
|
|
VORL; 4 SWS; ben. Schein; ECTS: 8; Fr, 9:00 - 12:00, H4; Fr, Zeit n.V., K1; ab 20.11.2000; Übungstermine werden zu Beginn der Veranstaltung vereinbart
|
|
Strehl, V.
|
|
|
