Modulinformationssystem Informatik

 

Masterstudiengang Informatik (bis SS15)

Vertiefende Informatik-Grundlagen 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-DBTech: Datenbanktechnologie 8
Inf-DPS: Deklarative Programmiersprachen 8
Inf-ESSS: Engineering Secure Software Systems 4
Inf-EntEinSys: Embedded Real-Time Systems 8
Inf-EntVerf: Entscheidungsverfahren 6
Inf-GraphDraw: Automatisches Zeichnen von Graphen 6
Inf-InvPB: Inverse Probleme der Bildverarbeitung 4
Inf-KompTheo: Einführung in die Komplexitätstheorie 4
Inf-KryptProt4: Kryptografische Protokolle 4
Inf-LinGanzOpt: Lineare Optimierung und ganzzahlige Optimierung 8
Inf-MAES: Modellierung und Analyse von Echtzeitsystemen 5
Inf-MaLearn: Machine Learning 6
Inf-NLinOpt: Nichtlineare Optimierung 9
Inf-PPS: Prinzipien von Programmiersprachen 8
Inf-PatRec: Pattern Recognition 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
MS0503: Intelligent Information Systems 8
MS0509: Pattern-based information systems development 8
MS0803: XML in Communication 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
MSS0501: Collaboration and Integration of Information Systems 8
MSS0502: Information Systems Applications 8
WInf-DMML: Data Mining and Machine Learning 6
WInf-DMML4: Data Mining and Machine Learning: Basic and Advanced Techniques of Data Analysis 8
WInf-EinfOR: Einführung in Operations Research 8
WInf-InfWiMa: Informations- und Wissensmanagement 8
WInf-InterMM: Theoretical Foundations and Applications of Interactive Multimedia 6
WInf-MethodsHCI: Quantitative Methods in Human-Computer Studies 6
WInf-SemWeb: Semantic Web and Linked Open Data 6
infCDP-01a: Concurrent and Distributed Programming 8
infCryp-01a: Cryptography 8
infESSS-02a: Engineering Secure Software Systems 6
Vertiefende theoretische Grundlagen Planung WS24/25 - SS25 ECTS
Inf-AdvAlg: Advanced Topics on Algorithms 6
Inf-AlgSeq: Algorithms on Sequences 6
Inf-AlgoDiff: Algorithmisches Differenzieren 6
Inf-CombWords: Combinatorics on Words 6
Inf-DigSig: Multimediale Signal- und Bildverarbeitung 8
Inf-ESSS: Engineering Secure Software Systems 4
Inf-GraphTheo: Graphentheorie 9
Inf-IterVerf: Iterative Verfahren für große Gleichungssysteme 9
Inf-KOptPO: Kombinatorische Optimierung - Polynomialität und Optimalität 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-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
MS1403: Kombinatorische Optimierung - Approximation und Randomisierung 9
MS1404: Parallele Algorithmen durch probabilistische Methoden 6
WInf-EinfOR: Einführung in Operations Research 8
infCryp-01a: Cryptography 8
infESSS-02a: Engineering Secure Software Systems 6
Informatik der Systeme Planung WS24/25 - SS25 ECTS
Inf-AlgSpec: Algebraische Spezifikation 6
Inf-CB: Übersetzerbau 8
Inf-CG: Computer Graphics 8
Inf-CV: Image-based 3D Scene Reconstruction 8
Inf-DigSig: Multimediale Signal- und Bildverarbeitung 8
Inf-EntVerf: Entscheidungsverfahren 6
Inf-GraphDraw: Automatisches Zeichnen von Graphen 6
Inf-ImpSys: Implementierung massiv paralleler Systeme 8
Inf-InvPB: Inverse Probleme der Bildverarbeitung 4
Inf-MAES: Modellierung und Analyse von Echtzeitsystemen 5
Inf-MaLearn: Machine Learning 6
Inf-PatRec: Pattern Recognition 6
Inf-SEPDS: Software Engineering for Parallel and Distributed Systems 8
Inf-SoftArch: Software Architecture 6
Inf-SyncSpr: Synchronous Languages 8
Inf-WebTech: Web-Technologien 5
MS0302: Übersetzerbau 8
MS0306: Nebenläufige und verteilte Programmierung 8
MS0309: Softwaretechnik zum Zertifizieren von Systemen 8
MS0502: Content Management Systeme 8
MS0506: Verteilte Informationssysteme 8
MS0510: Internet Information Services 8
MS0803: XML in Communication Systems 8
MS0902: FPGA-Entwurf mit VHDL 6
MS1004: Software Engineering for Parallel and Distributed Systems 8
MS1201: Signaltheoretische Grundlagen der Bildverarbeitung 8
MS1203: Einführung in die Neuroinformatik 8
WInf-InfWiMa: Informations- und Wissensmanagement 8
WInf-SemWeb: Semantic Web and Linked Open Data 6
infCDP-01a: Concurrent and Distributed Programming 8
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
Allgemeine Grundlagen Planung WS24/25 - SS25 ECTS
Inf-AktHCI: HCI - Die Aktivitätstheorie in der Analyse von Mensch-Computer-Interaktionen 4
Inf-DGI: Didaktische Grundlagen für Informatik 4
Inf-DGI5: Didaktische Grundlagen für Informatik 5
Inf-MaM: Men and machines - Das Verhältnis von Menschen und Technologie 4
WInf-BibAlt: Scholarly Big Data Analysis 6
WInf-ProMa: Projektmanagement 4
WInf-SMWS: Social Media und Web Science 6
Master-Projekt Planung WS24/25 - SS25 ECTS
Inf-MP-AlgKombSeq: Masterprojekt - Algorithmik und Kombinatorik von sequenziellen Strukturen 12
Inf-MP-CV: Masterprojekt - Visuelle Modellierung 12
Inf-MP-FSV: Masterprojekt - Formale Softwareverifikation 12
Inf-MP-ITSec: Masterprojekt - Kryptographie und IT-Sicherheit 12
Inf-MP-PS: Masterprojekt - Programmiersprachen und Programmiersysteme 12
Inf-MP-SMG: Softwareentwicklung für mobile Geräte 12
MSP0201: Masterprojekt - Algorithm Engineering 12
MSP0301: Masterprojekt - Verteilte Echtzeit-Programmierung 12
MSP0401: Masterprojekt - Rechnergestützte Programmentwicklung 12
MSP0501: Masterprojekt - Datenbankprogrammierung 12
MSP0801: Masterprojekt - Communication Systems 12
MSP0901: Masterprojekt - Algorithmenentwurf für massiv parallele Hardware 12
MSP1001: Masterprojekt - Software Engineering für parallele und verteilte Systeme 12
MSP1101: Masterprojekt - Echtzeitsysteme / Eingebettete Systeme 12
MSP1201: Masterprojekt - Visuelle Robotik 12
MSP1601: Masterprojekt - Algorithmische Optimale Steuerung/Klimasimulation 12
WInf-Proj-KD12: Master-Projekt - Knowledge Discovery in sehr großen Daten- und Dokumentenmengen 12
Seminar Informatik Planung WS24/25 - SS25 ECTS
Inf-MS-Sem-FSV: Formale Softwareverifikation 4
Inf-MS-Sem-NumMath: Numerische Mathematik 4
Inf-MS-Sem-PS: Programmiersprachen und Programmiersysteme 4
Inf-MS-Sem-Sequenzen: Master Seminar - Algorithmik und Kombinatorik von Sequenzen 4
Inf-MS-Sem-TIKALK: Theoretische Informatik: Kryptographie, Automaten, Logiken, Komplexitätstheorie 4
Inf-MS-Sem-Theorie: Theoretische Informatik 4
MSS0201: Aktuelle Forschungsfragen der Informatik 4
MSS0202: Approximative Algorithmen 4
MSS0301: Funktionale Programmiertechniken 4
MSS0503: Seminar Datenbanksysteme 3
MSS0801: Communication Systems 4
MSS0901: Algorithmen der Bioinformatik 4
MSS1002: Masterseminar Empirical Methods in Software Engineering Research 4
MSS1004: Masterseminar - Software Performance Engineering 4
MSS1101: Masterseminar Echtzeitsysteme / Eingebettete Systeme 4
MSS1201: Robot Vision 4
MSS1301: Numerische Mathematik und Optimierung 4
MSS1401: Oberseminar Diskrete Mathematik (FS: Algorithmen, Kombinatorik, Komplexität) 4
MSS1402: Seminar Diskrete Mathematik 4
WInf-WissArbSem: Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten 2
Abschlussseminar Planung WS24/25 - SS25 ECTS
Inf-AS-AppAlg: Masterabschlussseminar Approximative Algorithmen 0
Inf-AS-KomSys: Abschlussseminar AG KomSys 0
Inf-AS-PS: Masterabschlusseminar Programmiersprachen 0
Inf-AS-Wilke: Abschlussseminar AG Wilke 0
MSS0303: Masterabschlusseminar Programmiersprachen 0
MSS0504: Oberseminar Technologie der Informationssysteme 0
MSS1102: Masterabschlussseminar Echtzeitsysteme / Eingebettete Systeme 0
MSS1403: Masterabschlussseminar Software Engineering 0
MSS1404: Masterabschlussseminar Diskrete Optimierung 0

Semesterplanung von bis :