Veranstaltungen anzeigen

Theoretische Informatik
	Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI] UE; 2 SWS; Mi, 14:15 - 15:45, H10	PF BPT-MA-Inf ab 1 PF INF-LAG 4 PF INF-LAR 4 PF INF-LAG 4 PF WINF-BA 4 PF BPT-MA-Inf ab 1	Milius, S.
	Modallogik [ML] V/UE; 4 SWS; Do, 16:15 - 17:45, 0.151-115; Mi, 14:15 - 15:45, 0.111	WF M-MA ab 1 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 4 WF M-BA ab 3	Hausmann, D.
	Praktische Semantik von Programmiersprachen [SemProg] V/UE; 4 SWS; Mo, 18:15 - 19:15, 01.150-128; Mi, 12:15 - 13:45, E 1.11	WF M-BA ab 3 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-MA ab 1	Litak, T.
	Approximationsalgorithmen [APPROXA] VORL; 2 SWS; ECTS: 5; Do, 14:15 - 15:45, E 1.11	WF CE-MA-INF 1-4 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1	Wanka, R.
	Übungen zu Approximationsalgorithmen [UE-APPROXA] UE; 2 SWS; ECTS: 2,5; Do, 12:15 - 13:45, E 1.11	WF CE-MA-INF 1-4 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1	Wanka, R.
	Randomisierte Algorithmen [RAND] VORL; 2 SWS; ECTS: 5; Mo, 14:15 - 15:45, E 1.11	WPF INF-BA-V-THI ab 5 WPF INF-MA 1-4 WF CE-MA-INF 1-4	Wanka, R.
	Übungen zu Randomisierte Algorithmen [UE-RAND] UE; 2 SWS; ECTS: 2,5; Di, 12:15 - 13:45, E 1.11	WPF INF-BA-V-THI ab 5 WPF INF-MA ab 1 WF CE-MA-INF 1-4	Raß, A.

Theoretische Informatik