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, 12:15 - 13:45, 01.150-128; Do, 08:15 - 09:45, 01.150-128				WPF INF-BA-V-THI ab 5 WPF INF-BA-V-THI ab 5 WPF INF-MA ab 7 WF M-BA ab 5 WF M-MA ab 7 WF IIS-MA ab 7 WF WINF-BA ab 5	Milius, S. Litak, T.
Grundlagen der Logik in der Informatik [GLoIn] VORL; 2 SWS; ECTS: 2,5; Anf; Do, 8:30 - 10:00, HH, (außer Do 27.11.2014, Do 29.1.2015); Einzeltermine am 27.11.2014, 29.1.2015, 8:30 - 10:00, HG				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				PF INF-BA-S 3 PF INF-BA 3 PF I2F-BA-S 3 PF WINF-BA 3	Goncharov, S.
	Fr	14:15 - 15:45	02.133-113		Goncharov, S.
	ab 18.12.2014
Kryptologie und Protokollverifikation [Crypto] V/UE; 4 SWS; ECTS: 7,5; Mi, 10:15 - 11:45, 0.15; Do, 10:15 - 11:45, EE 0.135				WF M-BA ab 5 WPF INF-BA-V-THI ab 5 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 5 WF M-MA ab 7 WF IIS-MA ab 7 WF WINF-BA ab 5	Milius, S.
Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ECTS: 7,5; Do, 16:15 - 17:45, 01.255-128; Fr, 12:15 - 13:45, 01.255-128				WF MT-BA-S ab 5 WF MT-BA ab 5 WF SIM-DH ab 5 WF Ph-BA ab 5 WF M-BA ab 3 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 5 WF M-MA ab 7 WF Ph-MA ab 7 WF WINF-BA ab 5 WF IIS-MA ab 7 WF SIM-MA ab 7 WF MT-MA ab 7	Schröder, L.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, 06; Einzeltermine am 7.10.2014, 14.10.2014, 14:00 - 16:00, 06; Am 7. und 14.10. im Raum 06,Tennenlohe, Wetterkreuz 13				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; Kredit: 2,5; ECTS: 2,5; Anf				PF INF-BA-S 3 PF INF-BA 3 PF I2F-BA-S 3 PF WINF-BA 3	Goncharov, S.
	Mo	12:15 - 13:45	R4.15		N.N.
	ab 21.10.2014
	Mo	14:15 - 15:45	02.133-113		N.N.
	ab 21.10.2014
	Di	8:15 - 9:45	01.255-128		N.N.
	ab 21.10.2014
	Di	10:15 - 11:45	01.255-128		N.N.
	ab 21.10.2014
	Di	14:15 - 15:45	02.133-113		N.N.
	ab 21.10.2014
	Fr	10:15 - 11:45	02.134-113		N.N.
	ab 21.10.2014
	Fr	12:15 - 13:45	R4.11		N.N.
	ab 21.10.2014



	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]

Kryptologie und Protokollverifikation [Crypto]

Ontologien im Semantic Web [OntoSWeb]

Seminar Theoretische Informatik [ThInfSem]

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