Theoretische Informatik
|
|
Advanced Mechanized Reasoning in Coq [AMeRiCo]
V/UE; 4 SWS; ECTS: 7,5; Di, Mi, 18:15 - 19: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.
|
|
|
|
V/UE; Präsenz; 4 SWS; ECTS: 7,5; Di, 16:15 - 17:45, 01.255-128; Do, 8:15 - 9:45, 01.255-128
|
WPF INF-MA ab 2
WPF INF-BA-V-THI ab 4
WF M-BA ab 4
WF M-MA ab 2
|
Milius, S.
|
|
|
|
V/UE; 4 SWS; ECTS: 7,5; Mo, Do, 14:15 - 15: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.
|
|
|
|
Intensivübung zu Grundlagen der Logik in der Informatik [InUeGLoIn]
UE; Präsenz; 2 SWS; Anf; Di, 12:15 - 13:45, 01.150-128
|
PF INF-BA 3
PF WINF-BA 3
WPF DS-BA 3
|
Goncharov, S.
|
|
|
|
Monad-Based Programming [MBProg]
V/UE; Präsenz; 4 SWS; ECTS: 7,5; Fr, 12:15 - 13:45, 00.131-128; Mi, 16:15 - 17:45, 01.021
|
WF M-BA ab 3
WPF INF-BA-V-THI ab 4
WPF INF-MA ab 1
WF M-MA ab 1
|
Goncharov, S.
|
|
|
|
V/UE; Präsenz; 4 SWS; ECTS: 7,5; Die Unterrichtssprache wird im Einvernehmen mit den Teilnehmern bestimmt / The course language will be agreed upon with the participants; Mo, 16:15 - 17:45, 01.255-128; Di, 12:15 - 13:45, 01.255-128
|
WF M-BA ab 3
WF M-MA ab 1
WPF INF-MA ab 1
WPF INF-BA-V-THI ab 5
WPF DS-BA-DW 6
WPF AI-MA ab 1
|
Schröder, L.
|
|
|
|
UE; Präsenz; 2 SWS; Anf
|
WPF DS-BA 3
PF INF-BA 3
PF WINF-BA 3
|
Goncharov, S.
|
|
|
| | Mo | 10:15 - 11:45 | 01.150-128 | |
Hennig, F. | | |
| | Mo | 12:15 - 13:45 | 02.133-113 | |
Teufel, T. | | |
| | Di | 8:15 - 9:45 | 02.134-113 | |
Strahlberger, A. | | |
| | Di | 10:15 - 11:45 | 02.134-113 | |
Strahlberger, A. | | |
| | Di | 14:15 - 15:45 | 0.157-115 | |
Teufel, T. | | |
| Ab dem 9.10.21 findet dieser Kurs im Raum 0.157-115 statt! |
| | Mi | 8:15 - 9:45 | Zoom-Meeting | |
Lehnert, A. | | |
| | Do | 10:15 - 11:45 | 02.133-113 | |
Lehnert, A. | | |
|
Einführung in die moderne Kryptographie [ModKrypt]
VORL; Online; 4 SWS; ECTS: 5
|
WPF ICT-MA-ES ab 1
WPF INF-MA ab 1
WPF INF-BA ab 5
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
|
|
| | Einzeltermin am 10.2.2022 | 7:30 - 12:00 | SR LPT 02.030 | |
N.N. | | |
| | Einzeltermin am 10.2.2022 | 7:30 - 10:00 | 01.030 | |
N.N. | | |
| | Einzeltermin am 10.2.2022 | 7:30 - 12:00 | SR 00.030 | |
N.N. | | |
| | Mi, Do | 8:30 - 10:00 | 01.030 | |
Schröder, D. | | |
|
UE; Online; 2 SWS; ECTS: 2,5
|
WPF ICT-MA-ES ab 1
WPF ASC-MA ab 1
WPF ICT-MA-NDC ab 1
|
Schröder, D.
|
|
|
| | Mo | 12:15 - 13:45 | 01.030 | |
Schröder, D. | | |
|
Introduction to Privacy [IntroPriv]
V/UE; Online; 4 SWS; ben. Schein; ECTS: 5; Mo, 14:15 - 15:45, SR 00.030; Do, 10:15 - 11:45, SR 00.030; The tutorial will be held on Monday.
|
WPF INF-BA ab 5
WPF INF-MA ab 1
|
Schröder, D.
|
|
|
|
VORL; Präsenz; 2 SWS; ECTS: 5; Di, 10:15 - 11:45, 00.151-113
|
WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Wanka, R.
|
|
|
|
UE; Präsenz; 2 SWS; ECTS: 2,5
|
WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1
|
Wanka, R.
|
|
|
| | Do | 10:15 - 11:45 | 02.134-113 | |
Wanka, R. | | |