Theoretische Informatik
|
|
|
ALGEBRA non Volusi annalibus excerpta
VORL; 4 SWS; Schein; ECTS: 8; Anf; Di, 8:00 - 10:00, 05.150; Do, 14:30 - 16:00, Raum n.V.
|
|
Leeb, K.
|
|
|
|
|
V/UE; 4 SWS; Schein; ben. Schein; ECTS: 8; Anf; auch für Grundstudium geeignet; Mi, 16:00 - 17:30, E 1.11; Mo, 16:00 - 17:30, 00.152
|
|
Meyn, H.
|
|
|
|
|
Clone-dike: Stake your claim! (Categories for the Working Scientist)
VORL; 4 SWS; Schein; ECTS: 8; Mi, 12:30 - 14:00, 05.150; Di, 12:30 - 14:00, 12.150
|
|
Leeb, K.
|
|
|
|
|
Elemente der Beweistheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Fr, 10:15 - 11:45, 05.150; Do, 8:30 - 10:00, 05.150
|
|
Degen, W.
|
|
|
|
|
Komplexitätstheorie und endliche Modelltheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Do, 12:00 - 13:30, 00.152; Di, 10:00 - 11:30, 12.150
|
|
Degen, W.
|
|
|
|
|
VORL; 3 SWS; ben. Schein; ECTS: 6; Di, 16:00 - 17:30, H5; Do, 9:00 - 10:00, H5
|
|
Müller, H.
|
|
|
|
|
Topics in Computer Algebra 2 [TCA2]
VORL; 2 SWS; ben. Schein; ECTS: 4; Mi, 8:15 - 9:45, 2.038; Vorbesprechung: 23.4.2004, 10:30 - 12:00 Uhr, 00.152
|
|
Strehl, V.
|
|
|
