Masterstudiengang Informatik

 
Vertiefende theoretische Grundlagen ECTS
Inf-AlgDiff: Algorithmisches Differenzieren 8
Inf-GraphTheo: Graphentheorie 9
Inf-KOptPO: Kombinatorische Optimierung - Polynomialität und Optimalität 9
Inf-KompTheo: Einführung in die Komplexitätstheorie 4
Inf-KryptProt4: Kryptografische Protokolle 4
Inf-LinGanzOpt: Lineare Optimierung und ganzzahlige Optimierung 8
Inf-SemPS: Semantik von Programmiersprachen 8
Inf-WissRech: Wissenschaftliches Rechnen 9
MS0101: Kryptographie 8
MS0102: Automaten, Logiken, Spiele 8
MS0103: Kryptographie (I - Vertraulichkeit) 4
MS0104: Kryptographie (II - Authentizität) 4
MS0105: Angewandte Logik 8
MS0201: Approximative Algorithmen 8
MS0202: Effiziente Algorithmen 8
MS0203: Applications of Matrix Products to Combinatorial Problems 2
MS0402: Ordnungen und Verbände 8
MS0403: Relationale Methoden in der Informatik 8
MS0505: Datenbanktheorie 8
MS1101: Modellierung nebenläufiger Systeme 8
MS1102: Synchrone Sprachen 8
MS1301: Iterative Verfahren für große Gleichungssysteme 9
MS1302: Numerik nicht-lokaler Operatoren 9
MS1303: Numerische Verfahren für Differentialgleichungen 9
MS1403: Kombinatorische Optimierung - Approximation und Randomisierung 9
MS1404: Parallele Algorithmen durch probabilistische Methoden 6
MS1602: Optimale Steuerung 9
MS1603: Klimamodelle und Klimasimulationen 9
MS1604: Nichtlineare Optimierung 9

Semesterplanung von bis :