Theoretische Informatik
|
|
Elemente der Beweistheorie
VORL; 4 SWS; ben. Schein; ECTS: 8; Mi, 12:15 - 13:45, 05.150; Do, 14:15 - 15:45, 2.037; n. Vorankundigung
|
|
Degen, W.
|
|
|
|
V/UE; 2 SWS; ben. Schein; ECTS: 4; Fr, 14:15 - 15:45, 00.152
|
|
Meyn, H.
|
|
|
|
VORL; 3 SWS; ben. Schein; ECTS: 6; Di, 15:45 - 18:00, H5
|
|
Müller, H.
|
|
|
|
Topics in Computer Algebra 2 [TAC2]
VORL; 2 SWS; ben. Schein; ECTS: 4; Fr, 8:30 - 10:00, 0.141; Raum 0.141 : Seminarraum Informatik 10, Cauerstrasse 6
|
|
Strehl, V.
|
|
|