Modulinformationssystem Informatik

Masterstudiengang Informatik (bis SS15)

Mastervertiefungsbereich Planung WS24/25 - SS25	ECTS
Inf-AdvAlg: Advanced Topics on Algorithms	6
Inf-AlgSeq: Algorithms on Sequences	6
Inf-AlgSpec: Algebraische Spezifikation	6
Inf-AlgoDiff: Algorithmisches Differenzieren	6
Inf-BioInf-SysBio: Bioinformatics/Systems Biology	6
Inf-CB: Übersetzerbau	8
Inf-CG: Computer Graphics	8
Inf-CV: Image-based 3D Scene Reconstruction	8
Inf-CombWords: Combinatorics on Words	6
Inf-DPS: Deklarative Programmiersprachen	8
Inf-EntVerf: Entscheidungsverfahren	6
Inf-GraphDraw: Automatisches Zeichnen von Graphen	6
Inf-IterVerf: Iterative Verfahren für große Gleichungssysteme	9
Inf-KliModSim: Climate Models and Simulation	9
Inf-KompTheo: Einführung in die Komplexitätstheorie	4
Inf-KryptProt4: Kryptografische Protokolle	4
Inf-LinGanzOpt: Lineare Optimierung und ganzzahlige Optimierung	8
Inf-NLinOpt: Nichtlineare Optimierung	9
Inf-Nichtlokal: Numerik nicht-lokaler Operatoren	9
Inf-NumPDE: Numerical methods for partial differential equations	9
Inf-PPS: Prinzipien von Programmiersprachen	8
Inf-SEPDS: Software Engineering for Parallel and Distributed Systems	8
Inf-SemPS: Semantik von Programmiersprachen	8
Inf-SoftArch: Software Architecture	6
Inf-SyncSpr: Synchronous Languages	8
Inf-WebTech: Web-Technologien	5
MS0101: Kryptographie	8
MS0102: Automaten, Logiken, Spiele	8
MS0105: Angewandte Logik	8
MS0201: Approximative Algorithmen	8
MS0202: Effiziente Algorithmen	8
MS0301: Prinzipien von Programmiersprachen	8
MS0302: Übersetzerbau	8
MS0303: Deklarative Programmiersprachen	8
MS0304: Functional Programming	8
MS0306: Nebenläufige und verteilte Programmierung	8
MS0402: Ordnungen und Verbände	8
MS0403: Relationale Methoden in der Informatik	8
MS0505: Datenbanktheorie	8
MS0506: Verteilte Informationssysteme	8
MS0803: XML in Communication Systems	8
MS1004: Software Engineering for Parallel and Distributed Systems	8
MS1101: Modellierung nebenläufiger Systeme	8
MS1102: Synchrone Sprachen	8
MS1201: Signaltheoretische Grundlagen der Bildverarbeitung	8
MS1203: Einführung in die Neuroinformatik	8
MS1403: Kombinatorische Optimierung - Approximation und Randomisierung	9
WInf-InfWiMa: Informations- und Wissensmanagement	8
WInf-SemWeb: Semantic Web and Linked Open Data	6
infCDP-01a: Concurrent and Distributed Programming	8
infCryp-01a: Cryptography	8