| laufend 2020/21 |
| Bachelorstudium |
14 016, 028 Mathematik, Informatik ()
| 20191 |
-
 
-
[20191] Bachelor Naturwissenschaftliche Bildung Er ...
-
 Wahlmodule Informatik
-
Formale Methoden und ihre Anwendungen (FMA)
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
| Masterstudium |
16 010 Mathematik ()
| 20191 |
-
-
[20191] Masterstudium Mathematik
-
Wahlmodule
-
C Mathematical Theories in other Disciplines
-
C1 Informatics
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 030 Informatik ()
| 20181 |
-
-
[20181] Masterstudium Informatik
-
Wahlmodulkatalog Informatik
-
[VK] Formale Methoden und ihre Anwendungen (FMA)
-
[VK] Theorie
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 034 Informatik: Games Engineering ()
| 20181 |
-
-
[20181] Informatik: Games Engineering
-
Wahlmodule Informatik: Games Engineering
-
Wahlmodule Informatik
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 043 Wirtschaftsinformatik ()
| 20201 |
-
-
[20201] Masterstudium Wirtschaftsinformatik
-
Übergreifende Wahlmodule
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 048 Data Engineering and Analytics ()
| 20181 |
-
-
[20181] Data Engineering and Analytics
-
Wahlmodule
-
Wahlmodulkatalog Informatik
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 060 Informatik (Teilzeit, 50%) ()
| 20181 |
-
-
[20181] Informatik (Teilzeit, 50%)
-
Wahlmodulkatalog Informatik
-
[VK] Formale Methoden und ihre Anwendungen (FMA)
-
[VK] Theorie
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 061 Informatik (Teilzeit, 66%) ()
| 20181 |
-
-
[20181] Informatik (Teilzeit, 66%)
-
Wahlmodulkatalog Informatik
-
[VK] Formale Methoden und ihre Anwendungen (FMA)
-
[VK] Theorie
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 142 Automotive Software Engineering ()
| 20161 |
-
-
[20161] Masterstudium Automotive Software Engineer ...
-
Wahlmodule Software Engineering
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
16 142 Automotive Software Engineering ()
| 20161 |
-
-
[20161] Masterstudium Automotive Software Engineer ...
-
Wahlmodule Test und Verifikation
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
| Bachelorstudium |
17 030 Informatik ()
| 20181 |
-
-
[20181] Bachelor Informatik
-
Wahlmodule Informatik
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
17 034 Informatik: Games Engineering ()
| 20181 |
-
-
[20181] Informatik: Games Engineering
-
Wahlmodule Informatik und Games Engineering
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
17 043 Wirtschaftsinformatik ()
| 20181 |
-
-
[20181] Bachelorstudium Wirtschaftsinformatik
-
Wahlmodule Wirtschaftsinformatik
-
Formale Methoden und ihre Anwendungen
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
| Elite-Masterstudium |
28 010 Mathematik ()
| 20161 |
-
-
[20161] Mathematik
-
Vertiefungsmodule
-
A1.6 Mathematical Theories in other Disciplines
-
[VK] A1.6.1 Informatics
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| | - | | |
28 084 Mathematik mit zusätzlichem Promotionsstudiengang Mathematik ()
| 20181 |
-
-
[20181] Mathematik mit zusätzlichem Promotionsstud ...
-
Vertiefungsmodule
-
A1.6 Mathematical Theories in other Disciplines
-
[VK] A1.6.1 Informatics
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| | - | | |
| Masterstudium |
37 016, 028 Mathematik, Informatik ()
| 20201 |
-
-
[20201] Master Naturwissenschaftliche Bildung Erst ...
-
Informatik
-
Wahlmodulkatalog Informatik
-
[VK] Formale Methoden und ihre Anwendungen (FMA)
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
| Erweiterungsstudium Lehramt |
41 028 Informatik ()
| 20151 |
-
-
[20151] Naturwissenschaftliche Bildung: Erweiterun ...
-
Master
-
Wahlmodulkatalog Informatik
-
[VK] Formale Methoden und ihre Anwendungen (FMA)
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
| sonstiges Studium |
98 030 Informatik ()
| 0 |
-
-
[0] Informatik
-
Module Informatik
-
Formale Methoden und ihre Anwendungen (FMA)
-
[VK] [IN2055] Semantik
-
[VK] Semantik
| WAHL | - | | |
