Arbeitsgruppe Zuverlässige Systeme

Sommer 2019

"How to prove" - Techniques for mathematical Proofs (Pre-Master)
OS; 2 SWS; Di, 10:00 - 12:00, CAP4 - R.1304 a; vom 7.4.2019 bis zum 7.7.2019

Inf-AdvAlg: Advanced Topics on Algorithms
V; 2 SWS; ECTS: 6; Do, 14:15 - 15:45, CAP4 - R.1304 a; vom 7.4.2019 bis zum 7.7.2019

Exercise: Advanced Topics on Algorithms
UE; 2 SWS; Mi, 14:15 - 15:45, CAP2 - Hörsaal B; vom 7.4.2019 bis zum 7.7.2019

Inf-GSoZu: Introduction to Formal Software Analysis
V; 4 SWS; ECTS: 8; Mo, 12:00 - 14:00, CAP4 - R.1304 a; Mi, 12:00 - 14:00, CAP3 - Hörsaal 1; vom 7.4.2019 bis zum 7.7.2019

Exercise: Introduction to Formal Software Analysis
UE; 2 SWS; Mo, 14:00 - 16:00, CAP4 - R.1304 a; vom 7.4.2019 bis zum 7.7.2019

Inf-MPFSV: Master project - Formal Software Verification
UE; 4 SWS; ECTS: 10; vom 7.4.2019 bis zum 7.7.2019; Vorbesprechung findet am 13.02.19 um 13:00 Uhr in CAP 4 Raum 1304b statt

Inf-MS-Sem-Sequenzen: Algorithmics and Combinatorics of Sequences
S; 2 SWS; ECTS: 5; Vorbesprechung findet am 13.02.19 um 13:00 Uhr in CAP 4 Raum 1304b statt

Inf-TGI: Theoretische Grundlagen der Informatik
V; 4 SWS; ECTS: 8; Mo, 10:00 - 12:00, LMS6 - R.11[Gr.Hörsaal PC]; Mi, 10:00 - 12:00, OS40 - R.201; vom 7.4.2019 bis zum 7.7.2019

Übung zu: Theoretische Grundlagen der Informatik
UE; 2 SWS; Di, 8:00 - 10:00, CAP2 - Hörsaal A; Mi, 12:00 - 16:00, CAP2 - Hörsaal K; Do, 10:00 - 14:00, OHP5 - [Chemie I]; vom 7.4.2019 bis zum 7.7.2019

Übung zu: Theoretische Grundlagen der Informatik - Mathematische Grundlagen
UE; 1 SWS; Mi, 16:00 - 18:00, CAP4 - R.1304 a; vom 7.4.2019 bis zum 7.7.2019

Inf-TGIE: Theoretische Grundlagen der Informatik - Einführung
V; 4 SWS; ECTS: 8; Mo, 10:00 - 12:00, LMS6 - R.11[Gr.Hörsaal PC]; Mi, 10:00 - 12:00, OS40 - R.201; vom 7.4.2019 bis zum 7.7.2019

Übung zu: Theoretische Grundlagen der Informatik - Einführung
UE; 2 SWS; Di, 8:00 - 10:00, CAP2 - Hörsaal A; Mi, 12:00 - 16:00, CAP2 - Hörsaal K; Do, 10:00 - 14:00, OHP5 - [Chemie I]; vom 7.4.2019 bis zum 7.7.2019

Logic in Computer Science (Pre-Master)
V; 2 SWS; ECTS: 8; Mi, 12:00 - 14:00, CAP2 - Hörsaal C; Di, 16:00 - 18:00, HRS4 - R.8[EL], LMS6 - R.10[Steinitz-Hörsaal], (außer Di 9.4.2019, Di 16.4.2019, Di 7.5.2019, Di 28.5.2019, Di 4.6.2019, Di 25.6.2019); vom 7.4.2019 bis zum 7.7.2019

Theory of Computation and Logic in Computer Science Tutorial (Pre-Master)
UE; Mo, 12:15 - 13:45, Raum n.V.; vom 7.4.2019 bis zum 7.7.2019; CAP 4, room 1304b

Theory of Computation (Pre-Master)
V; 2 SWS; ECTS: 8; Mi, 14:00 - 16:00, CAP3 - Hörsaal 1; vom 9.4.2019 bis zum 7.7.2019;