Theoretische Informatik
|
|
|
Deskriptive Komplexitätstheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 10:30 - 12:00, 05.150; Di, 12:30 - 14:00, 05.150
|
|
Degen, W.
|
|
|
|
|
Übungen zur Deskriptiven Komplexitätstheorie
UE; 2 SWS; ben. Schein; ECTS: 4; Do, 16:00 - 18:00, 05.150
|
|
Weigand, U.
|
|
|
|
|
Expander-Graphen: ihre Existenz, ihre Konstruktion, ihre Verwendung für kommunizierende Algorithmen
VORL; 4 SWS; ben. Schein; ECTS: 8; Zeit und Raum n.V.
|
|
Leeb, K.
|
|
|
|
|
Funktionalgleichnungen der Analysis und Identitäten der Universellen Algebra: eine synchrone Einführung
VORL; 4 SWS; ben. Schein; ECTS: 8; Di, Fr, 10:00 - 12:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Lambda-Kalkül und Typentheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mo, 13:00 - 14:00, 05.150; Di, 16:00 - 18:00, 05.150
|
|
Degen, W.
|
|
|
|
|
Zahlentheoretische und algebraische Grundlagen der Kryptographie I
VORL; 4 SWS; ben. Schein; ECTS: 8; Do, 16:00 - 18:00, 2.038; Mo, 14:00 - 16:00, 05.150; ab 6.5.1999
|
|
Meyn, H.
|
|
|
|
|
V/UE; 4 SWS; ben. Schein; ECTS: 8; Mi, 8:30 - 10:00, H4; Di, 14:00 - 16:00, H5; !! Vorlesung faellt mangels Studenten aus !!
|
|
Müller, H.
|
|
|
|
|
Übungen zu Programmverifikation
UE; 1 SWS; ECTS: 2; !!! Voerlesung faellt mangels Studenten aus !!!; Zeit und Raum n.V.
|
|
Müller, H.
|
|
|
|
|
Probabilistic Methods in Algorithmics
VORL; 2 SWS; Schein; ECTS: 4; für Hauptstudium Informatik und Computational Engineering; Fr, 10:15 - 11:45, K1; Beginn am 7. Mai 1999
|
|
Strehl, V.
|
|
|
|
|
Zur Systemsimulation [SysSim]
AWA; 2 SWS; Di, 9:00 - 11:00, H10
|
|
Rüde, U.
|
|
|
