Lehrveranstaltungen

Advanced Competitive Programming SEM; 2 SWS; ECTS: 5; Fr, 12:15 - 13:45, 00.131-128				WF INF-MA ab 1	Wild, P.
Advanced Mechanized Reasoning in Coq [AMeRiCo(A)] V/UE; 4 SWS; ECTS: 7,5; Di, 08:15 - 09:45, 01.151-128; Do, 16:15 - 17:45, 01.151-128				WPF INF-MA ab 1 WPF INF-BA-V-THI ab 5 WF M-BA ab 5 WF M-MA ab 1 WPF AI-MA ab 1	Litak, T.
Formale Methoden der Softwareentwicklung [FMSoft(A)] V/UE; 4 SWS; ECTS: 7,5; Mo, 14:15 - 15:45, 01.255-128; Mi, 16:15 - 17:45, 01.255-128				WPF INF-BA-V-THI ab 4 WPF INF-BA-V-THI ab 4 WPF INF-MA ab 1 WF M-BA ab 4 WF M-MA ab 1 WF IIS-MA ab 1 WF WINF-BA ab 4	Litak, T. Wild, P.
Grundlagen der Logik in der Informatik [GLoIn(A)] VORL; Präsenz; 2 SWS; ECTS: 5; Anf; Do, 10:15 - 11:45, H11				PF INF-BA 3 PF I2F-BA 3 PF INF-BA 1 PF WINF-BA 3 WPF DS-BA 3	Schröder, L.
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn(A)] UE; Präsenz; 2 SWS; Anf; Fr, 14:15 - 15:45, 01.150-128				PF INF-BA 3 PF INF-BA 1 PF WINF-BA 3 WPF DS-BA 3	Goncharov, S.
Kommunikation und Parallele Prozesse [KommPar(A)] V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 02.133-113; Fr, 10:15 - 11:45, 02.133-113				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 WPF AI-MA ab 1	Schröder, L.
Seminar Homotopy Type Theory SEM; Online/Präsenz; 2 SWS; ECTS: 5; Mi, 14:15 - 15:45, Übung 3 / 01.252-128				WPF M-BA ab 4 WPF INF-BA-SEM ab 4 WPF M-MA ab 1	Goncharov, S. Litak, T.
Seminar Theoretische Informatik OS; Präsenz; 2 SWS; Di, 14:00 - 16:00, 00.131-128				WF INF-BA 5-6 WF INF-MA ab 1	Schröder, L.
Themen der Kategorientheorie SEM; Präsenz; 2 SWS; ECTS: 5; Mi, 10:15 - 11:45, 00.131-128				WPF INF-BA ab 4 WPF INF-MA ab 2 WF M-BA ab 4 WF M-MA ab 2	Milius, S.
Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn(A)] UE; Präsenz; 2 SWS; Anf				WPF DS-BA 3 PF INF-BA 3 PF INF-BA 1 PF WINF-BA 3	Goncharov, S.
	Mo	08:15 - 09:45	02.134-113		N.N.
	Mo	10:15 - 11:45	02.134-113		N.N.
	Mo	12:15 - 13:45	02.134-113		N.N.
	Mo	12:15 - 13:45	01.150-128		N.N.
	Mo	14:15 - 15:45	02.134-113		N.N.
	Di	08:15 - 09:45	02.134-113		N.N.
	Di	08:15 - 09:45	01.150-128		N.N.
	Mi	10:15 - 11:45	0.031-113		N.N.
	Mi	12:15 - 13:45	0.031-113		N.N.
	Mi	12:15 - 13:45	02.134-113		N.N.
	Do	12:15 - 13:45	02.134-113		N.N.
	Do	12:15 - 13:45	01.150-128		Wild, P.
	Fr	12:15 - 13:45	01.150-128		N.N.
	Fr	12:15 - 13:45	02.134-113		N.N.



	UnivIS ist ein Produkt der Config eG, Buckenhof

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Advanced Competitive Programming

Advanced Mechanized Reasoning in Coq [AMeRiCo(A)]

Formale Methoden der Softwareentwicklung [FMSoft(A)]

Grundlagen der Logik in der Informatik [GLoIn(A)]

Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn(A)]

Kommunikation und Parallele Prozesse [KommPar(A)]

Seminar Homotopy Type Theory

Seminar Theoretische Informatik

Themen der Kategorientheorie

Übungen zu Grundlagen der Logik in der Informatik [UeGLoIn(A)]