Theoretische Informatik
|
|
|
Anleitung zum Bedenken bedenklicher Texte
VORL; 1 SWS; Do, 12:00 - 14:00, 16:00 - 18:00, 05.150; Vorbesprechung: 12.4.2005, 12:15 - 13:00 Uhr, 05.150
|
|
Leeb, K.
|
|
|
|
|
Categories for the working scientist
VORL; 4 SWS; Schein; ECTS: 8; Vorbesprechung: 12.4.2005, 12:15 - 13:00 Uhr, 05.150
|
|
Leeb, K.
|
|
|
|
|
Dynamische und temporale Logiken
VORL; 4 SWS; ben. Schein; ECTS: 8; Anf; Vorbesprechung: 12.4.2005, 14:15 - 15:00 Uhr, 05.150
|
|
Degen, W.
|
|
|
|
|
V/UE; 4 SWS; Schein; ben. Schein; ECTS: 8; Anf; Mo, 12:00 - 14:00, 09.150; Di, 14:00 - 16:00, 0.61
|
|
Meyn, H.
|
|
|
|
|
Schwache Teilsysteme der Arithmetik
VORL; 4 SWS; ben. Schein; ECTS: 8; Anf; Vorbesprechung: 12.4.2005, 15:15 - 16:00 Uhr, 05.150
|
|
Degen, W.
|
|
|
|
|
Symmetrie in kontinuierlichen Systemen
V/UE; 4 SWS; Kredit: 8; Di, 16:00 - 18:00, 05.150; Vorbesprechung: 12.4.2005, 12:15 - 13:00 Uhr, 05.150
|
|
Leeb, K.
|
|
|
|
|
V/UE; 4 SWS; ECTS: 8; Do, 14:15 - 15:45, E 1.12; Mi, 8:30 - 10:00, E 1.12; Termine koennen noch verhandelt werden
|
WPF INF-DH-THI ab 5
|
Strehl, V.
|
|
|
|
|
Komplexitätstheorie
V/UE; 4 SWS; ECTS: 8; Fr, 10:00 - 12:00, E 1.11, 00.151
|
WPF INF-DH-THI ab 5
|
Wanka, R.
|
|
|
|
|
Übungen zu Komplexitätstheorie
UE; 2 SWS; Mi, 10:00 - 12:00, E 1.11, 00.152
|
|
Wanka, R.
|
|
|
