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)

	Algebra des Programmierens [AlgProg] V/UE; 4 SWS; ECTS: 7,5; Mo, 16:15 - 17:45, 00.152-113; Di, 10:15 - 11:45, Raum n.V.; ab 29.10.13 im Seminarraum 11.150, LS f. INF8, 11. OG, Martensstr. 3				WPF INF-MA ab 7 WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WF M-BA ab 3 WF M-MA ab 7	Milius, S.
	Formale Methoden der Softwareentwicklung [FMSoft] V/UE; 4 SWS; ECTS: 7,5; Mi, 14:15 - 15:45, 16:15 - 17:45, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				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	Milius, S. Gorin, D.
	Grundlagen der Logik und Logikprogrammierung [GLoLoP] VORL; 2 SWS; Kredit: 2,5; ECTS: 2,5; Anf; Mi, 8:15 - 9: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.151-113		Goncharov, S.
	Logische Grundlagen der Datenbanktheorie [LGruDat] V/UE; 4 SWS; ben. Schein; ECTS: 7,5				WPF INF-MA ab 7 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.
		Fr	10:00 - 14:00	n.V.		Litak, T.
		Seminarraum INF8, Martensstr. 3, 11.150				Litak, T.
	Ontologien im Semantic Web [OntoSWeb] VORL; 4 SWS; ECTS: 7,5; Do, 12:15 - 13:45, 01.255-128; Do, 14:30 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3, 11.150				WF M-BA ab 3 WPF INF-MA ab 7 WPF INF-BA-V-THI ab 5 WF M-MA ab 7	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.
	Projekt angewandte Wissensrepräsentation [KR-Projekt] PJS; 2 SWS; ECTS: 10; Zeit und Raum n.V.					Schröder, L. Gorin, D.
	Seminar Curry-Howard Korrespondenz [SemCurry] SEM; 2 SWS; ECTS: 5; Do, 18:00 - 20:00, Raum n.V.; ab 18.10.2013; Seminarraum LS INF8, Martensstr. 3, 11. OG; Vorbesprechung: 18.10.2013, 14:00 - 16:00 Uhr				PF INF-MA ab 7 PF INF-BA-S ab 4 PF INF-BA-W ab 4 WF M-BA ab 4 WF M-MA ab 7	Litak, T. Gorin, D.
	Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, Raum n.V.; Seminarraum INF8, Martensstr. 3 11.150				WF INF-BA-W 5-6 WF INF-BA-S 4-6 WF INF-MA ab 1	Schröder, L.
	Ü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.
		Di	10:15 - 11:45	00.151-113		Goncharov, S.
		Mi	12:15 - 13:45	H16		Goncharov, S.
		Mi	16:15 - 17:45	00.151-113		Goncharov, S.
		Do	14:15 - 15:45	00.151-113		Goncharov, S.
		Fr	10:15 - 11:45	02.133-113		Goncharov, S.



	UnivIS ist ein Produkt der Config eG, Buckenhof