Veranstaltungen anzeigen

Theoretische Informatik
	Algebra des Programmierens [AlgProg] V/UE; 4 SWS; ECTS: 7,5; Mo, 16:15 - 17:45, 00.152-113; Di, 10:15 - 11:45, Raum n.V.; ab 29.10.13 im Seminarraum 11.150, LS f. INF8, 11. OG, Martensstr. 3				WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 3 WF M-MA ab 7	Milius, S.
	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5; Mi, 14:15 - 15:45, 16:15 - 17:45, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				WPF INF-BA-V-THI ab 5 WPF INF-BA-V-THI ab 5 WPF INF-MA ab 7 WF M-BA ab 5 WF M-MA ab 7	Milius, S. Gorin, D.
	Logische Grundlagen der Datenbanktheorie [LGruDat] V/UE; 4 SWS; ben. Schein; ECTS: 7,5				WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-BA ab 7	Litak, T.
		Fr	10:00 - 14:00	n.V.		Litak, T.
		Seminarraum INF8, Martensstr. 3, 11.150				Litak, T.
	Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ECTS: 7,5; Do, 12:15 - 13:45, 01.255-128; Do, 14:30 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				WF M-BA ab 3 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 5 WF M-MA ab 7	Schröder, L.
	Effiziente kombinatorische Algorithmen [EffAlg] VORL; 2 SWS; ECTS: 5; Fr, 12:15 - 13:45, E 1.11				WPF CE-MA-INF ab 1 WPF INF-BA-V-THI ab 3 WPF INF-MA ab 1	Wanka, R.
	Übung Effiziente kombinatorische Algorithmen [UE-EffAlg] UE; 2 SWS; ECTS: 2,5				WPF CE-MA-INF ab 1 WPF INF-BA-V-THI ab 3 WPF INF-MA ab 1
		Do	12:15 - 13:45	02.133-113		Wanka, R.

Theoretische Informatik