Veranstaltungen anzeigen

Theoretische Informatik
	Algebra des Programmierens [AlgProg] V/UE; 4 SWS; ECTS: 7,5; Mo, 10:15 - 11:45, 01.150-128; Fr, 12:15 - 13:45, K1-119; ab 28.4.2017				WPF INF-MA ab 2 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-MA ab 2	Schröder, L.
	Homotopy Type Theory [HoTT] SEM; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, Übung 3 / 01.252-128				WPF M-BA ab 4 WPF INF-BA-SEM ab 4 WPF M-MA ab 1	Goncharov, S. Litak, T.
	Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI] UE; 2 SWS; Do, 10:15 - 11:45, H4				PF BPT-MA-Inf ab 1 PF INF-LAG 2 PF INF-LAR 2 PF INF-LAG 2 PF WINF-BA 4 PF BPT-MA-Inf ab 1	Milius, S. Goncharov, S.
	Modallogik [ML] V/UE; 4 SWS; Mi, Do, 16:15 - 17:45, Raum n.V.; Voraussichtliche Termine SS17: Mi, 16:15 und Do, 16:15 jeweils in Raum 00.131, Cauerstraße 11				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; Do, 14:15 - 15:45, 01.255-128; Fr, 12:15 - 13:45, 01.255-128				WF M-BA ab 3 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-MA ab 1	Litak, T. Rauch, Ch.
	Approximationsalgorithmen [APPROXA] VORL; 2 SWS; ECTS: 5; Mo, 12:15 - 13:45, 01.255-128				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, 10:15 - 11:45, 01.150-128				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; Di, 10:15 - 11:45, 02.133-113				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, 14:00 - 15:30, 02.133-113				WPF INF-BA-V-THI ab 5 WPF INF-MA ab 1 WF CE-MA-INF 1-4	Raß, A.

Diese Seite zum Drucken vorbereiten