Theoretische Informatik
|
|
|
Geometrie der Gruppen- und Monoidpräsentationen
VORL; 2 SWS; ECTS: 4; Mi, 12:00 - 14:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Informationstheorie: Tarskis, Goppas und meine
VORL; 4 SWS; ECTS: 8; Di, 14:00 - 16:00, 05.150; Mi, 16:00 - 18:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Subrekursive und rekursive Kombinatorik
VORL; 2 SWS; ECTS: 4; Do, 12:00 - 14:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Themen aus der Höheren Modelltheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; n. V.; Vorbesprechung: 17.10.2005, 16:15 - 18:00 Uhr, 05.150
|
|
Degen, W.
|
|
|
|
|
Unifikation in Logik erster und zweiter Ordnung
VORL; 2 SWS; ECTS: 4; Di, 12:00 - 14:00, 05.150
|
|
Leeb, K.
|
|
|
|
|
Computeralgebra 1 [CA-1]
VORL; 2 SWS; ECTS: 3; Fr, 10:15 - 11:45, E 1.12; Termin kann evtl. geändert werden
|
|
Strehl, V.
|
|
|
|
|
Übungen zur Computeralgebra 1 [CAÜ-1]
UE; Schein; ben. Schein; ECTS: 3; Fr, 14:15 - 15:45, E 1.11
|
|
Strehl, V.
|
|
|
|
|
Kommunikation in Parallelen Rechenmodellen [KPR]
VORL; 2 SWS; ECTS: 4; Mi, 8:30 - 10:00, E 1.11
|
WPF CE-MA-IVF-ZDV 5
WPF INF-DH-THI 5
WPF INF-DH-KS 5
WPF IuK-DH-ÜTMK-INF1 5
WPF IuK-DH-KN-INF1 5
WPF IuK-DH-VSPS-INF2 5
|
Wanka, R.
|
|
|
|
|
Übung zu Kommunikation in Parallelen Rechenmodellen [UE-KPR]
UE; ECTS: 2
|
WPF CE-MA-IVF-ZDV 5
WPF INF-DH-THI 5
WPF INF-DH-KS 5
WPF IuK-DH-ÜTMK-INF1 5
WPF IuK-DH-KN-INF1 5
|
| |
|
| | | Do | 8:30 - 10:00 | 00.151 | |
Wanka, R. | | |
