Einschreibung in den gemeinsamen Kurs "Parallel Programming" der Studiengänge "Masterstudiengang Angewandte Mathematik und Physik" und "Master Artificial Intelligence".
Den gemeinsamen Kurs mit allen Materialien finden Sie im Bereich Mathematik der Fakultät angewandte Natur und Geisteswissenschaften.
- Dozent/in: Kai Diethelm
This is a research-oriented course on the efficient mechanization of logical and probabilistic reasoning algorithms, in close collaboration with the ENEXA project of the European Union (enexa.eu).
- Dozent/in: Alex Goeßmann
- Dozent/in: Magda Gregorová
- Dozent/in: Martin Storath