Lehrveranstaltungen

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

© Config eG

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Semester:

Lehr-
veranstaltungen

Personen/
Einrichtungen

Forschungs-
bericht

Publi-
kationen

Internat.
Kontakte

Examens-
arbeiten

Telefon &
E-Mail



	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)

	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; Online/Präsenz; 4 SWS; ECTS: 7,5; Mi, 14:15 - 15:45, 01.255-128; Do, 12:15 - 13:45, 00.131-128; Vorlesungen und Übungen finden als Liveübertragungen statt, nach Absprache auch in Präsenz; Auswahl des Konferenzdienstes erfolgt über StudOn				WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-BA ab 4 WF M-MA ab 1 WF IIS-MA ab 1 WF WINF-BA ab 4	Litak, T. Wild, P.
	Grundlagen der Logik in der Informatik [GLoIn] VORL; Online; 2 SWS; ECTS: 5; Anf; Fr, 12:15 - 13:45, H7; Veranstaltung findet mangels Kapazität des Hörsaals voraussichtlich digital via Zoom statt				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; Online; 2 SWS; Anf; Mo, 12:15 - 13:45				PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
	Nonclassical Logics in Computer Science [NoCL] V/UE; Online/Präsenz; 4 SWS; Schein; ECTS: 7,5; Mo, Di, 12:15 - 13:45, 01.255-128; Raumreservierung bleibt zunächst bestehen. Veranstaltung wird nach Möglichkeit in Präsenz angeboten, bei Bedarf mit digitalem Zusatzangebot, etwa Liveübertragung per Zoom.				WF Ph-MA ab 1 WF IIS-MA 1 WF M-BA ab 3 WF INF-BA ab 6 WF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-MA ab 1 WF WINF-BA ab 5 WF MT-MA ab 1 WF Ph-BA ab 5	Litak, T. Schröder, L.
	Seminar Automaten über unendlichen Wörtern [AutoInf] SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mo, 14:15 - 15:45, 00.131-128; Raumreservierung bleibt bestehen. Veranstaltung wird voraussichtlich in Präsenz angeboten, bei Bedarf mit digitalen Zusatzangebot, etwa Liveübertragung via Zoom				WF M-BA ab 4 WF M-MA ab 1 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-KI ab 4 WPF I2F-BA ab 4 WPF INF-LAG ab 4 WPF INF-LAG-M ab 4 WPF INF-LAG-P ab 4 WPF INF-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.
	Themen der Kategorientheorie [TopCat] SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128; Präsenztermine evtl. im Wechsel mit Online-Meeting in Zoom				WPF INF-BA ab 4 WPF INF-MA ab 2 WF M-BA ab 4 WF M-MA ab 2	Milius, S.
	Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn] UE; Online; 2 SWS; Anf				PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
		Di	8:15 - 9:45	H15		Cengiz, Ü.
		Di	8:15 - 9:45	02.134-113		Strahlberger, A.
		Di	10:15 - 11:45	3.71		Meyer, N.
		Di	10:15 - 11:45	01.150-128		Cengiz, Ü.
		Di	16:15 - 17:45	01.150-128		Strahlberger, A.
		Do	8:15 - 9:45	K1-119 Brose-Saal		Birkmann, F.
		Do	16:15 - 17:45	02.134-113		Lehnert, A.
		Do	16:15 - 17:45	01.150-128		Birkmann, F.



	UnivIS ist ein Produkt der Config eG, Buckenhof