Hauptinhalt
Dieser Eintrag ist aus dem Wintersemester 2019/20 und möglicherweise veraltet. Ein aktuelles Äquivalent finden Sie hier.
Gesamtangebot Informatik — Vertiefungsmodul (9 LP)
Liste der Module auf diesem Niveau:
- Abstrakte Datentypen - Universelle Algebra (Vertiefungsmodul, 9 LP, T)
- Algorithm Engineering (Vertiefungsmodul, 9 LP, P)
- Berechenbarkeit und Beweisbarkeit (Vertiefungsmodul, 9 LP, T)
- Bildsynthese (Vertiefungsmodul, 9 LP, P)
- Compilerbau (Vertiefungsmodul, 9 LP, T)
- Datenbionik (Vertiefungsmodul, 9 LP, P)
- Datenbionik / Data Science (Vertiefungsmodul, 9 LP, P)
- Formale Methoden (Vertiefungsmodul, 9 LP, T)
- Formale Methoden in der Softwaretechnik (Vertiefungsmodul, 9 LP, T)
- Formale Sprachen und Automatentheorie (Vertiefungsmodul, 9 LP, T)
- Großes Vertiefungsmodul Bioinformatik (Vertiefungsmodul, 9 LP, P)
- Großes Vertiefungsmodul Datenbanksysteme (Vertiefungsmodul, 9 LP)
- Großes Vertiefungsmodul Grafik und Multimedia (Vertiefungsmodul, 9 LP, P)
- Großes Vertiefungsmodul Programmiersprachen und -werkzeuge (Vertiefungsmodul, 9 LP, P)
- Großes Vertiefungsmodul Softwaretechnik (Vertiefungsmodul, 9 LP)
- Großes Vertiefungsmodul Supervised Learning (Vertiefungsmodul, 9 LP, P)
- Großes Vertiefungsmodul Theoretische Informatik (Vertiefungsmodul, 9 LP, T)
- Großes Vertiefungsmodul Unsupervised Learning (Vertiefungsmodul, 9 LP, P)
- Großes Vertiefungsmodul Verteilte Systeme (Vertiefungsmodul, 9 LP, P)
- Höhere Algorithmik (Vertiefungsmodul, 9 LP, T)
- Implementierung von Datenbanksystemen (Vertiefungsmodul, 9 LP, P)
- Modellgetriebene Softwareentwicklung (Vertiefungsmodul, 9 LP, P)
- Modellprüfung (Vertiefungsmodul, 9 LP, T)
- Moderne Methoden der Systementwicklung (Vertiefungsmodul, 9 LP, P)
- Moderne Methoden der theoretischen Informatik (Vertiefungsmodul, 9 LP, T)
- Multimediale Signalverarbeitung (Vertiefungsmodul, 9 LP, P)
- Parallele funktionale Programmierung (Vertiefungsmodul, 9 LP, T)
- Parallelverarbeitung (Vertiefungsmodul, 9 LP)
- Programmiersprachen und Typen (Vertiefungsmodul, 9 LP, T)
- Programmverifikation und -synthese (Vertiefungsmodul, 9 LP, T)
- Semantik von Programmiersprachen (Vertiefungsmodul, 9 LP, T)
- Zustandsbasierte Systeme (Vertiefungsmodul, 9 LP, T)
Bitte beachten Sie:
Diese Seite gilt für die im Wintersemester 2019/20 aktuellsten Prüfungsordnungen. Wenn Sie Ihr Studium nach einer früheren oder späteren Prüfungsordnung absolvieren, gelten gegebenenfalls andere Bestimmungen:
- WiSe 2016/17
- SoSe 2018
- WiSe 2018/19
- WiSe 2019/20
- WiSe 2020/21
- SoSe 2021
- WiSe 2021/22
- WiSe 2022/23
- WiSe 2023/24
Die Angaben im Online-Modulhandbuch wurden automatisch erstellt. Rechtsverbindlich sind die Angaben der Prüfungsordnung. Wenn Ihnen Unstimmigkeiten oder Fehler auffallen, sind wir für Hinweise dankbar.