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)

Advanced Competitive Programming [ACP] SEM; 2 SWS; ECTS: 5; Blockveranstaltung 4.3.2019-12.3.2019 Mo-Fr, 10:15 - 11:45, 00.131-128; Blockveranstaltung 4.3.2019-12.3.2019 Mo-Fr, 13:15 - 17:45, 0.01-142; Dienstag,12.03.2019: 10.15-11.45 Uhr und 13.15-18.45 Uhr				WF INF-MA ab 1	Wild, P.
Algebra des Programmierens [AlgProg] V/UE; 4 SWS; ECTS: 7,5; Di, 12:15 - 13:45, 01.150-128; Mi, 10:15 - 11:45, 00.131-128				WPF INF-MA ab 2 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-MA ab 2	Milius, S.
Algebraische und Logische Aspekte der Automatentheorie [ALoA] V/UE; 4 SWS; ECTS: 7,5; Mo, 10:15 - 11:45, 01.255-128; Mi, 12:15 - 13:45, 01.255-128				WPF INF-BA-V-THI ab 5 WPF INF-MA ab 1 WF M-BA ab 5 WF M-MA ab 1	Urbat, H. Rauch, Ch.
Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 01.255-128; Fr, 10:15 - 11:45, 01.255-128				WPF INF-BA-V-THI ab 5 WPF INF-BA-V-THI ab 5 WPF INF-MA ab 1 WF M-BA ab 5 WF M-MA ab 1 WF IIS-MA ab 1 WF WINF-BA ab 5	Litak, T. Rauch, Ch.
Grundlagen der Logik in der Informatik [GLoIn] VORL; 2 SWS; ECTS: 5; Anf; Do, 8:30 - 10:00, H11				PF INF-BA 3 PF I2F-BA 3 PF WINF-BA 3	Schröder, L.
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn] UE; 2 SWS; Anf; Do, 18:15 - 19:45, 02.133-113				PF INF-BA 3 PF WINF-BA 3	Dorsch, U.
Kommunikation und Parallele Prozesse [KommPar] V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 00.131-128; Mi, 14:15 - 15:45, 0.68				WF M-BA ab 3 WPF INF-MA ab 1 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-MA ab 1	Schröder, L.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, 00.131-128				WF INF-BA 5-6 WF INF-MA ab 1	Schröder, L.
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn] UE; 2 SWS; Anf				PF INF-BA 3 PF WINF-BA 3	Goncharov, S. Rauch, Ch.
	Mo	10:15 - 11:45	01.150-128		Meyer, N.
	Mo	10:15 - 11:45	R4.11		Braun, K.
	Mo	12:15 - 13:45	SR TM		Meyer, N.
	Di	8:15 - 9:45	00.131-128		Cengiz, Ü.
	Di	10:15 - 11:45	00.131-128		Cengiz, Ü.
	Di	16:15 - 17:45	K1-119		Haselmeier, F.
	Mi	12:15 - 13:45	02.134-113		Dorsch, U.
	Mi	12:15 - 13:45	3.71		Diezel, T.L.
	Do	10:15 - 11:45	01.150-128		Kern, J.
	Do	14:15 - 15:45	K2-119		Diezel, T.L.
	Do	14:15 - 15:45	01.150-128		Braun, K.
	Do	14:15 - 15:45	02.134-113		Haselmeier, F.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Advanced Competitive Programming [ACP]

Algebra des Programmierens [AlgProg]

Algebraische und Logische Aspekte der Automatentheorie [ALoA]

Formale Methoden der Softwareentwicklung [FMSoft]

Grundlagen der Logik in der Informatik [GLoIn]

Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn]

Kommunikation und Parallele Prozesse [KommPar]

Seminar Theoretische Informatik [ThInfSem]

Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn]