WiSe 22/23: Lehramt für Informatik
Kernfach Informatik (90 LP / Lehramt, SPO2015)
0087d_k90
-
-
Höhere Algorithmik
0089cA2.1
-
Softwareprojekt - Theoretische Informatik A
0089cA2.10
-
Softwareprojekt - Theoretische Informatik B
0089cA2.11
-
Wissenschaftliches Arbeiten Theoretische Informatik A
0089cA2.12
-
Wissenschaftliches Arbeiten Theoretische Informatik B
0089cA2.13
-
Modelchecking
0089cA2.2
-
Aktuelle Forschungsthemen der Theoretischen Informatik
0089cA2.3
-
Algorithmische Geometrie
0089cA2.4
-
Ausgewählte Themen der Theoretischen Informatik
0089cA2.5
-
Fortgeschrittene Themen der Theoretischen Informatik
0089cA2.6
-
Spezielle Aspekte der Theoretischen Informatik
0089cA2.7
-
Kryptographie und Sicherheit in Verteilten Systemen
0089cA2.8
-
Semantik von Programmiersprachen
0089cA2.9