Veranstaltungen anzeigen

Theoretische Informatik
	Arithmetik endlicher Körper V/UE; 4 SWS; Di, 18:00 - 20:00, 00.152; Mi, 12:15 - 13:45, 2.037	Meyn, H.
	Beweistheorie von Programmlogiken V/UE; 4 SWS; Mi, 16:00 - 19:00, 00.151	Degen, W.
	Freie Gruppe - Symmetrische Gruppe: Die Dualität zwischen epi- und monomorphen (Re-)Präsentationen von diesen und anderen Algebren des täglichen Gebrauchs V/UE; 4 SWS; Do, 14:00 - 17:00, 12.150	Leeb, K.
	Modelltheorie für Informatiker V/UE; 4 SWS; Fr, 13:00 - 15:00, 05.150; Mi, 14:00 - 16:00, NN	Degen, W.
	Programmverifikation [ProgVer] VORL; 4 SWS; ben. Schein; Mo, 8:30 - 10:00, 2.038; Di, 16:15 - 17:45, H9	Müller, H.
	Übungen zu Programmverifikation UE; 2 SWS; Mi, 16:00 - 17:30, 07.150	Grillenbeck, R.
	Computeralgebra [Computeralgebra] VORL; 4 SWS; ben. Schein; ECTS: 8; Di, 16:00 - 18:00, H4; Do, 14:00 - 16:00, H10	Strehl, V.
	Übungen zur Computeralgebra [Ü Comp.alg.] UE; 2 SWS; ECTS: 4; nach Vereinbarung	Strehl, V.

Theoretische Informatik