Veranstaltungen anzeigen

Theoretische Informatik
	Dynamik VORL; 4 SWS; Schein; Di, Do, 14:00 - 16:00, 05.150	Leeb, K.
	Übungen zu Dynamik UE; 1 SWS; Zeit und Raum n.V.	Degen, W.
	Logik VORL; 4 SWS; Schein; Mo, 14:00 - 16:00, 05.150; Mi, 12:00 - 14:00, 05.150	Degen, W.
	Computeralgebra VORL; 4 SWS; Schein; Mi, 8:00 - 10:00, 05.150; Do, 14:00 - 16:00, H10	Meyn, H.
	Übungen zu Computeralgebra UE; 1 SWS; Mo, 10:00 - 12:00, 05.150; Fr, 8:00 - 10:00, 00.153	N.N. N.N.
	Analyse von Algorithmen V/UE; 4 SWS; Schein; Mo, 16:00 - 18:00, 05.150; Do, 10:00 - 12:00, 05.150	Strehl, V.
	Beweissysteme der Aussagenlogik V/UE; 4 SWS; Di, 10:00 - 12:00, 05.150; Fr, 12:30 - 14:00, 05.150	Johannsen, J.
	Automaten in Labyrinthen VORL; 2 SWS; ben. Schein; Di, 16:15 - 17:45, H9	Müller, H.
	Übungen zu Automaten in Labyrinthen UE; 1 SWS; ben. Schein; Mi, 18:00 - 18:45, 00.151	Grillenbeck, R.

Theoretische Informatik