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)

	Advanced Mechanized Reasoning in Coq [AMeRiCo] V/UE; 4 SWS; ECTS: 7,5; Di, Mi, 18:15 - 19:45, 01.151-128				WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-BA ab 5 WF M-MA ab 1 WPF AI-MA ab 1	Litak, T.
	Algebra des Programmierens [AlgProg] V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 01.255-128; Do, 8:15 - 9:45, 01.255-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.
	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5; Mo, Do, 14:15 - 15:45, 01.255-128				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; Präsenz; 2 SWS; ECTS: 5; Anf; Fr, 12:15 - 13:45, H7, (außer Fr 19.11.2021); Einzeltermin am 19.11.2021, 12:15 - 13:45, C1 - Chemikum				PF INF-BA 3 PF I2F-BA 3 PF WINF-BA 3 WPF DS-BA 3	Schröder, L.
	Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn] UE; Präsenz; 2 SWS; Anf; Di, 12:15 - 13:45, 01.150-128				PF INF-BA 3 PF WINF-BA 3 WPF DS-BA 3	Goncharov, S.
	Monad-Based Programming [MBProg] V/UE; Präsenz; 4 SWS; ECTS: 7,5; Fr, 12:15 - 13:45, 00.131-128; Mi, 16:15 - 17:45, 01.021				WF M-BA ab 3 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-MA ab 1	Goncharov, S.
	Ontologien im Semantic Web [OntoSWeb] V/UE; Präsenz; 4 SWS; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mo, 16:15 - 17:45, 01.255-128; Di, 12:15 - 13:45, 01.255-128				WF M-BA ab 3 WF M-MA ab 1 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WPF DS-BA-DW 6 WPF AI-MA ab 1	Schröder, L.
	Seminar Theoretische Informatik [ThInfSem] OS; Präsenz; 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; Präsenz; 2 SWS; Anf				WPF DS-BA 3 PF INF-BA 3 PF WINF-BA 3	Goncharov, S.
		Mo	10:15 - 11:45	01.150-128		Hennig, F.
		Mo	12:15 - 13:45	02.133-113		Teufel, T.
		Di	8:15 - 9:45	02.134-113		Strahlberger, A.
		Di	10:15 - 11:45	02.134-113		Strahlberger, A.
		Di	14:15 - 15:45	0.157-115		Teufel, T.
		Ab dem 9.10.21 findet dieser Kurs im Raum 0.157-115 statt!				Teufel, T.
		Mi	8:15 - 9:45	Zoom-Meeting		Lehnert, A.
		Do	10:15 - 11:45	02.133-113		Lehnert, A.



	UnivIS ist ein Produkt der Config eG, Buckenhof