Archiv außerkraftgesetzter Module
Hier finden Sie die außerkraftgesetzten Module des Modulhandbuch für den Masterstudiengang Informatik.
Gesamtes Modulhandbuch
Teile 1 (Pflichtmodule), 2 (Basismodule) und 3 (Vertiefungsmodule)
Basismodule
Forschungsbereich: Software, Sicherheit und Verifikation
Vertiefungsmodule
Forschungsbereich: Software, Sicherheit und Verifikation
- INF-MSc-301: Algebraische Grundlagen der Softwaretechnik PDF (98 KB)
- INF-MSc-302: Ausgewählte Forschungsfragen der Sicherheit PDF (105 KB)
- INF-MSc-303: Baum- und graphbasierte Uebersetzungs- und Analysetechniken PDF (107 KB)
- INF-MSc-304: Funktionales und regelbasiertes Programmieren PDF (109 KB)
- INF-MSc-306: Logisch-algebraischer Systementwurf 1: Spezifikation, Modelle, Strukturierung PDF (112 KB)
- INF-MSc-307: Logisch-algebraischer Systementwurf 2: Test, Verifikation und Transformation PDF (107 KB)
- INF-MSc-308: Modale und temporale Logiken als Modellierungswerkzeuge zur Softwarekonstruktion PDF (97 KB)
- INF-MSc-309: Sicherheit durch Kryptographie PDF (107 KB)
- INF-MSc-310: Software-Architekturen PDF (97 KB)
- INF-MSc-312: Komponenten- und Service-Orientierte Softwarekonstruktion PDF (106 KB)
- INF-MSc-317: Reaktive Sicherheit PDF (98 KB)
- INF-MSc-318: Logisch-algebraischer Systementwurf PDF (102 KB)
- INF-MSc-319: Logische Methoden des Software Engineering PDF (109 KB)
- INF-MSc-321 Markoffsche Transitionssysteme PDF (98 KB)
Forschungsbereich: Eingebettete und verteilte Systeme
- INF-MSc-405: Synthese Eingebetteter Systeme PDF (106 KB)
- INF-MSc-410: Compiler für Eingebettete Systeme PDF (108 KB)
- INF-MSc-411 Applied Scientific Computing PDF (109 KB)
- INF-MSc-413: Real-Time Systems PDF (99 KB)
Forschungsbereich: Intelligente Systeme
- INF-MSc-508: Spracherkennung (alte Fassung) PDF (103 KB)
- INF-MSc-509: Fortgeschrittene Themen der Wissensrepräsentation PDF (113 KB)
- INF-MSc-511: Wissensentdeckung in Datenbanken PDF (109 KB)
- INF-MSc-514: Computational Omics PDF (110 KB)
- INF-MSc-515: Numerical Optimization PDF (107 KB)
- INF-MSc-516: Probabilistische Graphische Modelle PDF (99 KB)
- INF-MSc-517: Large-Scale Optimization PDF (107 KB)
Forschungsbereich: Algorithmen und Komplexität
- INF-MSc-606: Algorithmische Bioinformatik PDF (99 KB)
- INF-MSc-614: Algorithmische Spieltheorie PDF (104 KB)
Nebenfachmodule
Nebenfach Logistik
Wahlpflichtmodule
Nebenfach Elektrotechnik
Basismodule
- Modulbeschreibungen PDF (334 KB)
Wahlpflichtmodule
- Modulbeschreibungen PDF (262 KB)