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)

Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5; Mi, 16:15 - 17:45, Raum n.V.; Fr, 14:15 - 15:45, 02.133-113; Mi, 16.15-17.45: Raum 00.131-128, Cauerstraße 11, EG				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; Mo, 16:15 - 17:45, H7				PF INF-BA-S 3 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; Di, 12:15 - 13:45, 02.133-113				PF INF-BA-S 3 PF INF-BA 3 PF I2F-BA-S 3 PF WINF-BA 3	Goncharov, S. Milius, S.
Kommunikation und Parallele Prozesse [KommPar] V/UE; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 0.151-115; Do, 14:15 - 15:45, 0.151-115				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	Goncharov, S.
Logische Grundlagen der Datenbanktheorie [LGruDat] V/UE; 4 SWS; ben. Schein; ECTS: 7,5; Mi, 14:15 - 15:45, 01.255-128; Do, 14:15 - 15:45, Raum n.V.; Do, 14.15-15.45 Uhr im Raum 00.131-128, Cauerstraße 11				WPF INF-MA ab 1 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 4 WF M-BA ab 7	Litak, T. Rauch, Ch.
Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, H16; Di, 12:15 - 13:45, Raum n.V.; Dienstag 12.15-13.45, Raum 00.131-128, Cauerstr. 11!				WF M-BA ab 3 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-MA ab 1	Schröder, L.
Praktikum Modellierung und formale Verifikation mit SCADE [FM-Lab] PR; 8 SWS; ECTS: 10; Mo, 14:15 - 15:45, Raum n.V.; n.V.					Milius, S.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; ECTS: 5; Di, 14:00 - 16:00, Raum n.V.; Raum 00.131-128 (EG, Felix-Klein-Gebäude, Cauerstraße 11)				WF INF-BA 5-6 WF INF-BA-S 4-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-S 3 PF INF-BA 3 PF I2F-BA-S 3 PF WINF-BA 3	Goncharov, S. Milius, S.
	Mo	12:15 - 13:45	01.255-128		Kern, J.
	Mo	12:15 - 13:45	00.152-113		Höllring, K.
	Mo	14:15 - 15:45	K2-119		Höllring, K.
	Mo	14:15 - 15:45	n.V.		Liebezeit, F.
	Die Übung findet im Raum 00.131-128, EG, Felix-Klein-Gebäude, Cauerstraße 11 statt.				Liebezeit, F.
	Mo	14:15 - 15:45	00.152-113		Hausmann, D.
	Di	14:15 - 15:45	00.152-113		Haselmeier, F.
	Di	14:15 - 15:45	01.150-128		Meyer, N.
	Di	16:15 - 17:45	01.255-128		Rainer, S.
	Mi	10:15 - 11:45	00.151-113		Göttlinger, M.
	Mi	10:15 - 11:45	HF-Technik: SR 5.14		Liebezeit, F.
	Mi	12:15 - 13:45	00.152-113		Polzer, M.
	Fr	8:15 - 9:45	n.V.		Bauer, J.
	Raum 00.131-128 (Cauerstraße 11, EG)				Bauer, J.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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]

Logische Grundlagen der Datenbanktheorie [LGruDat]

Ontologien im Semantic Web [OntoSWeb]

Praktikum Modellierung und formale Verifikation mit SCADE [FM-Lab]

Seminar Theoretische Informatik [ThInfSem]

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