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; Di, 12:15 - 13:45, 00.152-113; Mi, 16:15 - 17:45, 00.152-113; Bitte keine fensterlosen Räume planen!				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				PF INF-BA-S 3 PF INF-BA 3 PF I2F-BA-S 3 PF WINF-BA 3	Goncharov, S.
	Do	16:15 - 17:45	02.133-113		Goncharov, S.
Nonclassical Logics in Computer Science [NoCL] VORL; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Di, 16:15 - 17:45, 01.255-128				WF SIM-DH ab 5 WF Ph-BA ab 5 WF M-BA ab 3 WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-MA ab 1 WF Ph-MA ab 1 WF WINF-BA ab 5 WF IIS-MA ab 1 WF SIM-MA ab 1 WF MT-MA ab 1	Litak, T. Schröder, L.
Seminar Koalgebraische Logik [CoLog] SEM; 2 SWS; ECTS: 5; Di, 10:15 - 11:45, E 1.11				WPF INF-BA-V-THI ab 4 WPF INF-BA-V-KI ab 4 WPF I2F-BA ab 4 WPF INF-LAG ab 4 WPF INF-LAG-M ab 4 WPF INF-LAG-P ab 4 WPF INF-MA ab 1 WPF INF-MA ab 1 WF M-BA ab 4 WF M-MA ab 1 WF Ph-BA ab 4 WF Ph-MA ab 1	Schröder, L.
Seminar Theoretische Informatik [ThInfSem] OS; 2 SWS; Di, 14:00 - 16:00, Übung 3 / 01.252-128, (außer Di 24.11.2015); Einzeltermin am 26.11.2015, 12:00 - 13:15, 02.152-113				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.
	Mo	10:15 - 11:45	01.150-128		Wilhelm, T.
	Mi	12:15 - 13:45	01.150-128		Braun, L.
	Mi	12:15 - 13:45	R4.15		Rauch, Ch.
	Mi	12:15 - 13:45	01.153-113		Kern, J.
	Do	14:15 - 15:45	K2-119		Dietel, L.
	Do	14:15 - 15:45	0.151-115		Deifel, H.-P.
	Do	14:15 - 15:45	HF-Technik: SR 5.14		Paulus, D.
	Do	14:15 - 15:45	0.154-115		Hausmann, D.
	Fr	8:15 - 9:45	K1-119		Bauer, J.
	Fr	8:15 - 9:45	H3 Egerlandstr.3		Polzer, T.
	Fr	8:15 - 9:45	H15		Wild, P.
	Fr	14:15 - 15:45	02.134-113		Hausmann, D.



	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]

Nonclassical Logics in Computer Science [NoCL]

Seminar Koalgebraische Logik [CoLog]

Seminar Theoretische Informatik [ThInfSem]

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