Lehrveranstaltungen

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Semester:

Lehr-
veranstaltungen

Personen/
Einrichtungen



	Darstellung
		kurz ausführlich Druckansicht


		Stundenplan



	Extras
		alle markieren alle Markierungen löschen Ausgabe als XML



	Außerdem im UnivIS
		Vorlesungs- und Modulverzeichnis nach Studiengängen Vorlesungsverzeichnis


		Veranstaltungskalender Stellenangebote Möbel-/Rechnerbörse

Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 8 (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.
Intensivübung zu Theorie der Programmierung [IÜThProg] UE; 2 SWS; Do, 16:15 - 17:45, 0.68				PF INF-BA-S 5 PF INF-BA 4	Rauch, Ch.
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.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, Übung 3 / 01.252-128				WF INF-BA 5-6 WF INF-BA-S 4-6 WF INF-MA ab 1	Milius, S.
Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI] VORL; 2 SWS; Mo, 14:15 - 15:45, H10				PF INF-LAG 2 PF BPT-MA-Inf ab 1 PF WINF-BA 4 PF BPT-MA-Inf ab 1 PF INF-LAR 2	Milius, S.
Theorie der Programmierung [ThProg] VORL; 4 SWS; Di, 12:15 - 13:45, H8; Mi, 16:15 - 17:45, H9				PF INF-BA 4 PF INF-BA-S 5 WPF M-BA 4	Milius, S.
Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A] UE; 2 SWS; Kredit: 2,5				PF BPT-MA-Inf ab 1 PF INF-LAR 4 PF WINF-BA 4 PF INF-LAG 4 PF BPT-MA-Inf ab 1	Goncharov, S. Milius, S.
	Di	8:15 - 9:45	0.151-115		Untch, S.
	Do	10:15 - 11:45	0.68		Michali, T.
	Fr	10:15 - 11:45	K1-119		Seegerer, S.
	Fr	12:15 - 13:45	E 1.11		Seegerer, S.
Übungen zu Theorie der Programmierung [ÜThProg] UE; 2 SWS; Schein				PF INF-BA 4 PF INF-BA-S 5	Rauch, Ch.
	Mo	18:15 - 19:45	02.133-113		Hausmann, D.
	Mi	8:15 - 9:45	E 1.12		N.N.
	Mi	8:15 - 9:45	0.151-115		Kiesel, R.
	Mi	10:15 - 11:45	02.133-113		Schmitt, M.
	Mi	10:15 - 11:45	02.134-113		Polzer, M.
	Do	10:15 - 11:45	E 1.11		Rabenstein, U.
	Do	14:15 - 15:45	01.151-128		Braun, L.
	Do	14:15 - 15:45	00.152-113		Paulus, D.
	Fr	10:15 - 11:45	01.255-128		Deifel, H.-P.
	Fr	10:15 - 11:45	02.133-113		N.N.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI]

Intensivübung zu Theorie der Programmierung [IÜThProg]

Modallogik [ML]

Praktische Semantik von Programmiersprachen [SemProg]

Seminar Theoretische Informatik [ThInfSem]

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

Theorie der Programmierung [ThProg]

Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A]

Übungen zu Theorie der Programmierung [ÜThProg]