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)

Communication and Parallel Processes [CommProc] VORL; 4 SWS; ben. Schein; ECTS: 5				WPF INF-MA 7	Goncharov, S. Gorin, D.
	Mi Do	16:15 - 17:45 14:15 - 15:45	01.151-128 01.151-128		Goncharov, S. Gorin, D.
Übungen zu Communication and Parallel Processes [Ü-CommProc] UE; 2 SWS; ECTS: 2,5; Mi, 14:15 - 15:45, 01.255-128				WPF INF-MA 7	Goncharov, S.
Formale Methoden der Softwareentwicklung [FMSoft] VORL; 2 SWS; Schein; ECTS: 2,5; Mo, 10:15 - 11:45, Raum n.V.; Ort: Seminarraum LS INF8, Martensstr. 3, 11. OG				WPF INF-BA-W 5	Schröder, L.
Übungen zu Formale Methoden der Softwaretechnik [Ü-FMSoft] UE; 2 SWS; ben. Schein; ECTS: 2,5; Mi, 14:15 - 15:45, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11. OG				WPF INF-BA-W 5	Gorin, D.
Grundlagen der Logik und Logikprogrammierung [GLoLoP] VORL; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf; Do, 12:15 - 13:45, H9				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Schröder, L.
Intensivübung zu Grundlagen der Logik und Logikprogrammierung [InUeGLoLoP] UE; 2 SWS; Anf				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Goncharov, S.
	Di	16:15 - 17:45	00.153-113		Goncharov, S.
Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP] UE; 2 SWS; Schein; Kredit: 2,5; ECTS: 2,5; Anf				PF INF-BA-S 3 PF INF-BA-W 3 PF WINF-BA 3	Goncharov, S.
	Mo	16:00 - 17:30	0.01-142		Goncharov, S.
	Kurs wird in Englisch abgehalten.				Goncharov, S.
	Mo	16:15 - 17:45	n.V.		Goncharov, S.
	Ort: Seminarraum LS8, Martensstr. 3, 11. OG.				Goncharov, S.
	Mo	16:15 - 17:45	0.151-115		Goncharov, S.
	Di	14:15 - 15:45	01.150-128		Goncharov, S.
	Mi	10:15 - 11:45	H4		Goncharov, S.
	Do	14:15 - 15:45	n.V.		Goncharov, S.
	Ort: Seminarraum LS8, Martensstr. 3, 11. OG. Kurs wird in Englisch abgehalten.				Goncharov, S.
	Do	16:15 - 17:45	H10		Goncharov, S.
Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ben. Schein; ECTS: 5; Di, 12:15 - 13:45, 01.255-128; Do, 10:15 - 11:45, 0.151-115				WF INF-MA 1 WF INF-BA-V-THI 5	Schröder, L.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, Übung 3 / 01.252-128				WF INF-BA-W 5-6 WF INF-BA-S 4-6 WF INF-MA ab 1	Schröder, L.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Communication and Parallel Processes [CommProc]

Übungen zu Communication and Parallel Processes [Ü-CommProc]

Formale Methoden der Softwareentwicklung [FMSoft]

Übungen zu Formale Methoden der Softwaretechnik [Ü-FMSoft]

Grundlagen der Logik und Logikprogrammierung [GLoLoP]

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

Übungen zu Grundlagen der Logik und Logikprogrammierung [UeGLoLoP]

Ontologien im Semantic Web [OntoSWeb]

Seminar Theoretische Informatik [ThInfSem]