Main content
This entry is from Summer semester 2018 and might be obsolete. No current equivalent could be found.
M.Sc. Mathematics — Minor subject Computer Science
If the minor in Computer Science is chosen, modules amounting to 18 LP must be selected that have not yet been taken elsewhere. If the minor in computer science has not yet been taken in the bachelor's program, two basic or advanced modules of 9 LP (from the bachelor's program offerings) must be selected. If the minor subject Computer Science has already been studied in the Bachelor's program, two to three advanced modules (Bachelor's program offer) or specialization modules (Master's program offer) of 9 LP or 6 LP must be taken. At least one of the completed modules must be an in-depth module.
List of modules in this area of study:
Sorted: alphabetical, by classification, by level and CP
- Abstract Data Types - Universal Algebra (Specialization module, 9 CP)
- Advanced Algorithmics (Specialization module, 9 CP)
- Advanced Methods of System Development (Specialization module, 6 CP)
- Advanced Module Databionics (Advanced module, 9 CP)
- Advanced Module Databionics / Knowledge Engineering (Advanced module, 6 CP)
- Advanced Programming Concepts (Specialization module, 6 CP)
- Advanced Topics in Theoretical Computer Science (Specialization module, 6 CP)
- Algorithm Engineering (Specialization module, 9 CP)
- Algorithms and Data Structures (Basic module, 9 CP)
- Algorithms in Bioinformatics (Specialization module, 6 CP)
- Artificial Intelligence (Specialization module, 6 CP)
- Cloud Computing (Specialization module, 6 CP)
- Compiler Construction (Specialization module, 9 CP)
- Computability and Provability (Specialization module, 9 CP)
- Computer Networks (Advanced module, 9 CP)
- Computer-assisted Theorem Proving (Advanced module, 9 CP)
- Data Integration (Specialization module, 6 CP)
- Database Systems (Advanced module, 9 CP)
- Databionics (Specialization module, 9 CP)
- Declarative Programming (Basic module, 9 CP)
- Descriptional Complexity (Specialization module, 6 CP)
- Distributed Systems (Specialization module, 6 CP)
- Efficient Algorithms (Advanced module, 9 CP)
- Formal Methods (Specialization module, 9 CP)
- Geo Databases (Specialization module, 6 CP)
- Graphics Programming (Advanced module, 9 CP)
- IT-Security (Advanced module, 9 CP)
- Image Synthesis (Specialization module, 9 CP)
- Implementation of Database Systems (Specialization module, 9 CP)
- Index and Storage Structures (Specialization module, 6 CP)
- Information Retrieval (Specialization module, 6 CP)
- Introduction to Bioinformatics (Advanced module, 6 CP)
- Knowledge Discovery (Advanced module, 9 CP)
- Large Advanced Module Bioinformatics (Advanced module, 9 CP)
- Large Advanced Module Databases (Advanced module, 9 CP)
- Large Advanced Module Distributed Systems (Advanced module, 9 CP)
- Large Advanced Module Graphics and Multimedia Programming (Advanced module, 9 CP)
- Large Advanced Module Programming Languages and Programming Tools (Advanced module, 9 CP)
- Large Advanced Module Software Engineering (Advanced module, 9 CP)
- Large Advanced Module Supervised Learning (Advanced module, 9 CP)
- Large Advanced Module Theoretical Computer Science (Advanced module, 9 CP)
- Large Advanced Module Unsupervised Learning (Advanced module, 9 CP)
- Large Specialization Module Bioinformatics (Specialization module, 9 CP)
- Large Specialization Module Databases (Specialization module, 9 CP)
- Large Specialization Module Distributed Systems (Specialization module, 9 CP)
- Large Specialization Module Graphics and Multimedia Programming (Specialization module, 9 CP)
- Large Specialization Module Programming Languages and Programming Tools (Specialization module, 9 CP)
- Large Specialization Module Software Engineering (Specialization module, 9 CP)
- Large Specialization Module Supervised Learning (Specialization module, 9 CP)
- Large Specialization Module Theoretical Computer Science (Specialization module, 9 CP)
- Large Specialization Module Unsupervised Learning (Specialization module, 9 CP)
- Machine Learning (Advanced module, 9 CP)
- Model Checking (Specialization module, 9 CP)
- Model-driven Software Development (Specialization module, 9 CP)
- Modern Methods of System Development (Specialization module, 9 CP)
- Modern Topics in Theoretical Computer Science (Specialization module, 9 CP)
- Multimedia Signal Processing (Specialization module, 9 CP)
- Neural Networks (Specialization module, 6 CP)
- Object-oriented Programming (Basic module, 9 CP)
- Operating Systems (Specialization module, 6 CP)
- Parallel Computing (Specialization module, 9 CP)
- Parallel Functional Programming (Specialization module, 9 CP)
- Program Verification and Synthesis (Specialization module, 9 CP)
- Programming Languages and Types (Specialization module, 9 CP)
- Semantics of Programming Languages (Specialization module, 9 CP)
- Small Advanced Module Bioinformatics (Advanced module, 6 CP)
- Small Advanced Module Databases (Advanced module, 6 CP)
- Small Advanced Module Distributed Systems (Advanced module, 6 CP)
- Small Advanced Module Graphics and Multimedia Programming (Advanced module, 6 CP)
- Small Advanced Module Programming Languages and Programming Tools (Advanced module, 6 CP)
- Small Advanced Module Software Engineering (Advanced module, 6 CP)
- Small Advanced Module Supervised Learning (Advanced module, 6 CP)
- Small Advanced Module Theoretical Computer Science (Advanced module, 6 CP)
- Small Advanced Module Unsupervised Learning (Advanced module, 6 CP)
- Small Specialization Module Bioinformatics (Specialization module, 6 CP)
- Small Specialization Module Databases (Specialization module, 6 CP)
- Small Specialization Module Distributed Systems (Specialization module, 6 CP)
- Small Specialization Module Graphics and Multimedia Programming (Specialization module, 6 CP)
- Small Specialization Module Programming Languages and Programming Tools (Specialization module, 6 CP)
- Small Specialization Module Software Engineering (Specialization module, 6 CP)
- Small Specialization Module Supervised Learning (Specialization module, 6 CP)
- Small Specialization Module Theoretical Computer Science (Specialization module, 6 CP)
- Small Specialization Module Unsupervised Learning (Specialization module, 6 CP)
- Software Design and Programming Techniques (Advanced module, 6 CP)
- Software Engineering (Advanced module, 6 CP)
- Software Evolution (Specialization module, 6 CP)
- Software Quality (Advanced module, 9 CP)
- Specialization Module Databionics / Data Science (Specialization module, 9 CP)
- Specialization Module Databionics for Time Series (Specialization module, 6 CP)
- State-based Systems (Specialization module, 9 CP)
- System Software and Computer Communication (Basic module, 9 CP)
- Technical Computer Science (Basic module, 9 CP)
- Temporal Data Mining (Specialization module, 6 CP)
- Theoretical Computer Science (Advanced module, 9 CP)
- Theory of Automata and Formal Languages (Specialization module, 9 CP)
- Virtual Machines (Specialization module, 6 CP)
- Visual Languages (Specialization module, 6 CP)
- Web Technologies (Specialization module, 6 CP)
Please note:
This page applies to the most current examination regulations in Summer semester 2018. If you are studying according to an earlier or later examination regulation other provisions may apply:
- Winter 2016/17 (no corresponding element)
- Summer 2018
- Winter 2018/19 (no corresponding element)
- Winter 2019/20 (no corresponding element)
- Winter 2020/21 (no corresponding element)
- Summer 2021 (no corresponding element)
- Winter 2021/22 (no corresponding element)
- Winter 2022/23 (no corresponding element)
- Winter 2023/24 (no corresponding element)
The information in this online module guide was created automatically. Legally binding is only the information in the examination regulations (Prüfungsordnung). If you notice any discrepancies or errors, we would be grateful for any advice.