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)

Grundlagen der Logik und Logikprogrammierung [GLoLoP] VORL; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf; Mo, 10:15 - 11:45, H4				PF INF-BA-S 3 PF INF-BA-W 3 PF I2F-BA-W 2 PF I2F-BA-S 3 PF WINF-BA 3	Schröder, L.
Intensivübung zu Grundlagen der Logik und Logikprogrammierung [InUeGLoLoP] UE; 2 SWS; Anf; Zeit und Raum n.V.				PF INF-BA-S 3 PF INF-BA-W 3 PF I2F-BA-S 3 PF I2F-BA-W 2 PF WINF-BA 3	Goncharov, S.
Kommunikation und Parallele Prozesse [KommPar] VORL; 2 SWS; ECTS: 5				WPF INF-MA ab 7 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4	Goncharov, S.
	Di	10:15 - 11:45	00.152-113		Goncharov, S.
Übungen zu Kommunikation und Parallele Prozesse [Ü-KommPar] UE; 2 SWS; ECTS: 2,5; Do, 16:00 - 17:30, Raum n.V.				WPF INF-MA 8 WPF INF-MA 10 WPF INF-BA-V-THI 5 WPF INF-BA-V-THI 6 WPF INF-BA-V-THI 4	Goncharov, S.
Komplexität von Algorithmen [KompAlg] VORL; 4 SWS; Schein; ECTS: 5; Mi, 08:15 - 09:45, H9; Fr, 10:15 - 11:45, H9				PF INF-BA-W 4 PF INF-BA-S 5	Schröder, L.
Übungen zu Komplexität von Algorithmen [ÜKompAlg] UE; 2 SWS; Schein; ECTS: 2,5				PF INF-BA-W 4 PF INF-BA-S 5	Gorin, D.
	Mo	12:15 - 13:45	n.V.		Gorin, D.
	Mo	12:15 - 13:45	E 1.11		Gorin, D.
	Di	16:15 - 17:45	E 1.11		Litak, T.
	Do	10:15 - 11:45	n.V.		Litak, T.
	Seminarraum INF8, 11.150				Litak, T.
	Do	14:15 - 15:45	02.133-113		Gorin, D.
	Do	16:15 - 17:45	E 1.12		Gorin, D.
	Fr	16:15 - 17:45	E 1.12		Gorin, D.
Praktische Semantik von Programmiersprachen [SemProg] VORL; 2 SWS; ECTS: 5; Mi, 16:15 - 17:45, 00.152-113				WPF INF-BA-V-THI ab 4 WPF INF-MA 7	Gorin, D. Litak, T.
Übungen zu Praktische Semantik von Programmiersprachen [UE-SemProg] UE; 2 SWS; ECTS: 2,5; Mi, 14:15 - 15:45, 00.152-113				WPF INF-BA-V-THI ab 4 WPF INF-MA ab 7	Gorin, D. Litak, T.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11. Stock, Raum 11.150				WPF INF-BA-V-THI ab 4 WPF INF-BA-S ab 4 WPF INF-MA ab 7	Schröder, L.
Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI] VORL; 2 SWS; ECTS: 2,5; Do, 12:15 - 13:45, H5				PF INF-LAG 4 PF BPT-MA-E-Inf 1 PF WINF-BA 2 PF BPT-MA-M-Inf 1 PF INF-LAR 4	Milius, S.
Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [IÜThInfWI] UE; 1 SWS; Seminarraum Inf8, Martenstr.3, 11.150				PF BPT-MA-E-Inf 1 PF INF-LAG 4 PF INF-LAR 4 PF INF-LAG 4 PF WINF-BA 2 PF BPT-MA-M-Inf 1	Milius, S.
Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ÜThInfWI-A] UE; 2 SWS; Kredit: 2,5; ECTS: 2,5				PF BPT-MA-M-Inf 1 PF INF-LAR 4 PF WINF-BA 2 PF INF-LAG 4 PF BPT-MA-E-Inf 1	Milius, S.
	Mi	8:15 - 9:45	02.133-113		Milius, S.
	Mi	10:15 - 11:45	0.151-115		Milius, S.
	Do	10:15 - 11:45	0.154-115		Milius, S.
Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP] UE; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf				PF INF-BA-S 3 PF INF-BA-W 3 PF I2F-BA-S 3 PF I2F-BA-W 2 PF WINF-BA 3	Goncharov, S.
	Mo	16:00 - 17:30	0.01-142		Goncharov, S.
	Di	14:15 - 15:45	01.150-128		Goncharov, S.
	Mi	12:15 - 13:45	Übung 3 / 01.252-128		Goncharov, S.
	Mi	14:15 - 15:45	H10		Goncharov, S.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Grundlagen der Logik und Logikprogrammierung [GLoLoP]

Intensivübung zu Grundlagen der Logik und Logikprogrammierung [InUeGLoLoP]

Kommunikation und Parallele Prozesse [KommPar]

Übungen zu Kommunikation und Parallele Prozesse [Ü-KommPar]

Komplexität von Algorithmen [KompAlg]

Übungen zu Komplexität von Algorithmen [ÜKompAlg]

Praktische Semantik von Programmiersprachen [SemProg]

Übungen zu Praktische Semantik von Programmiersprachen [UE-SemProg]

Seminar Theoretische Informatik [ThInfSem]

Theoretische Informatik für Wirtschaftsinformatik und Lehramt [ThInfWI]

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

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

Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP]