Diploma: Dipl.-Ing. (MSc) Language of instruction: English Mode: Full-time Credits: 120 ECTS, 2 years Starts: October, March Deadline: September 5, February 5
Overview of the program
The program provides courses in the following four areas:
- Algorithms and complexity
- Knowledge representation and artificial intelligence
- Logic, mathematics and theoretical computer science
- Programming languages and verification
The Master’s program “Logic and Computation” starts with introductory courses (27 ECTS in the first, and 6 ECTS in the second semester) belonging to base modules of all four areas. This way, you can gather a broad and solid foundation of knowledge in these fields. In the second and third semester, you focus on (at least) two of the four tracks and pick courses up to 48 ECTS from these areas according to your interests (minimum 9 ECTS per track). Additionally, you will take soft skill courses (4.5 ECTS) and free choice courses (4.5 ECTS). In your fourth semester you work on your Master’s thesis (30 ECTS). For more details see the curriculum at the website of the faculty of informatics (most of the pages are in German).
Overview of the Modules and Courses
Additional information about the current courses can be found at TISS.
Algorithms and complexity
This area covers basic and advanced topics in algorithms and data structures, algorithm analysis and complexity. It has an emphasis on (but is not limited to) algorithms on graphs, machine learning, problem solving and optimization methods with exact as well as heuristic and approximative algorithms, geometric algorithms, and distributed algorithms. Courses currently offered in this area:
| Name | Module | ECTS | Web |
|---|---|---|---|
| Algorithmics | Base | 6 | TISS |
| Advanced Algorithms | Advanced | 3 | TISS |
| Algorithmic Game Theory | Advanced | 3 | TISS |
| Algorithms in Graph Theory | Advanced | 3 | TISS |
| Algorithmic Geometry | Advanced | 3+1.5 | TISS |
| Analysis of Algorithms | Advanced | 5+4 | TISS |
| Approximation Algorithms | Advanced | 3 | TISS |
| Complexity Theory | Advanced | 3 | TISS |
| Discrete Reasoning Methods | Advanced | 3 | TISS |
| Distributed Algorithms | Advanced | 6 | TISS |
| Efficient Algorithms | Advanced | 3 | TISS |
| Heuristic Optimization Techniques | Advanced | 3 | TISS |
| Mathematical Programming | Advanced | 3 | TISS |
| Modeling and Solving Constrained Optimization Problems | Advanced | 3 | TISS |
| Networks: Design and Analysis | Advanced | 3 | TISS |
| Parallel Algorithms | Advanced | 3 | TISS |
| Problems in Distributed Computing | Advanced | 4.5 | TISS |
| Optimization in Transport and Logistics | Advanced | 3 | TISS |
| Real-Time Scheduling | Advanced | 3 | TISS |
| Seminar in Algorithms | Advanced | 3 | TISS |
| Seminar in Complexity Theory | Advanced | 3 | TISS |
Knowledge representation and artificial intelligence
This area covers central aspects of knowledge-based systems like different logics as well as rule-based forms for knowledge representation, the corresponding inference principles for knowledge processing, answer-set programming, truth-maintenance systems, more advanced techniques for processing uncertain or incomplete knowledge, and learning. It has an emphasis on (but is not limited to) the symbol-processing approach to artificial intelligence, and in particular to logic-related approaches for representing and processing knowledge. The base module aims at a consolidation as well as an extension of skills and knowledge in formal logic in the context of knowledge-based systems acquired at the bachelor level. The advanced module includes foundations, regarding both semantics and computation, representation formalisms and reasoning methods, tools, and application areas. Courses currently offered in this area:
| Name | Module | ECTS | web |
|---|---|---|---|
| Knowledge-Based Systems | Base | 6 | TISS |
| Abstract Argumentation | Advanced | 4.5 | TISS |
| Advanced Logic Programming | Advanced | 3 | TISS |
| Classification and Discriminant Analysis | Advanced | 4.5 | TISS |
| Complexity Analysis | Advanced | 3 | TISS |
| Database Theory | Advanced | 3 | TISS |
| Deductive Databases | Advanced | 3 | TISS |
| Foundations of Information Integration | Advanced | 3 | TISS |
| Information Design | Advanced | 4.5 | TISS |
| Knowledge Management | Advanced | 3+3 | TISS |
| Machine Learning | Advanced | 4.5 | TISS |
| Media and Brain 1 | Advanced | 3 | TISS |
| Media and Brain 2 | Advanced | 3 | TISS |
| Nonmonotonic Reasoning | Advanced | 3 | TISS |
| Planning in Artificial Intelligence | Advanced | 3 | TISS |
| Problem Solving and Search in Artificial Intelligence | Advanced | 3 | TISS |
| Processing of Declarative Knowledge | Advanced | 3 | TISS |
| SAT Solving and Extensions | Advanced | 3 | TISS |
| Self-Organizing Systems | Advanced | 3 | TISS |
| Semantic Web Technologies | Advanced | 3 | TISS |
| Seminar in Artificial Intelligence | Advanced | 3 | TISS |
| Seminar in Databases | Advanced | 3 | TISS |
| Seminar in Knowledge Representation and Reasoning | Advanced | 3 | TISS |
| Similarity Modeling 1 | Advanced | 3 | TISS |
| Similarity Modeling 2 | Advanced | 3 | TISS |
| Theory of Knowledge Representation | Advanced | 3 | TISS |
Logic, mathematics and theoretical computer science
This area covers basic and advanced topics in discrete mathematical methods, theoretical computer science, logic and its applications to computer science, and mathematical methods. It aims at a consolidation as well as an extension of skills and knowledge in formal logic and the theory of computability acquired at the bachelor level. It comprises further training in the use of logical formalisms as specification tools, of various logical systems for proof search, elements of modal logics and of intuitionistic logic, and a deeper understanding of the concept of computability, including its connections to logic, program verification, and to complexity theory. Courses currently offered in this area:
| Name | Module | ECTS | TISS |
|---|---|---|---|
| Discrete Mathematics | Base | 9 | TISS |
| Logic and Computability | Base | 6 | TISS |
| Advanced Mathematical Logic | Advanced | 3 | TISS |
| Advanced Topics in Formal Language Theory | Advanced | 3 | |
| Automated Deduction | Advanced | 6 | TISS |
| Complex Analysis | Advanced | 5+2 | TISS |
| Computability Theory | Advanced | 3 | TISS |
| Computational Equational Logic | Advanced | 3 | TISS |
| Cryptography | Advanced | 3 | TISS |
| Formal Language Theory | Advanced | 3 | TISS |
| Functional Analysis 1 | Advanced | 5+2 | TISS |
| Fuzzy Logic | Advanced | 3 | TISS |
| Higher-order Logic | Advanced | 3 | TISS |
| History of Logic | Advanced | 3 | TISS |
| Lambda Calculus | Advanced | 3 | TISS |
| Membrane Computing | Advanced | 3 | TISS |
| Non-classical Logics | Advanced | 3 | TISS |
| Quantum Computing | Advanced | 3 | TISS |
| Proof Systems in Modal Logic | Advanced | 3 | TISS |
| Proof Theory 1 | Advanced | 3 | TISS |
| Proof Theory 2 | Advanced | 3 | TISS |
| Seminar in Logic | Advanced | 3 | TISS |
| Seminar in Theoretical Computer Science | Advanced | 3 | TISS |
| Temporal Logic | Advanced | 3 | |
| Term Rewriting | Advanced | 3 | TISS |
| Unification Theory | Advanced | 3 | TISS |
Programming languages and verification
This area covers central aspects of computability, decision procedures, program semantics, and automated verification. If you decide to focus on this module, there are advanced courses in the area of programming languages and verification, covering different topics like requirements engineering, software testing, high performance computing, and dynamic compilation available. Courses currently offered in this area:
| Name | Module | ECTS | TISS |
|---|---|---|---|
| Formal Methods in Computer Science | Base | 6 | TISS |
| Advanced Functional Programming | Advanced | 3 | TISS |
| Advanced Model Engineering | Advanced | 3+3 | TISS |
| Advanced Multiprocessor Programming | Advanced | 4 | TISS |
| Advanced Object-oriented Programming | Advanced | 3 | TISS |
| Analysis and Verification | Advanced | 3 | TISS |
| Automated Reasoning and Program Verification | Advanced | 3 | TISS |
| Code Generators | Advanced | 3 | TISS |
| Compilers for Parallel Systems | Advanced | 3 | TISS |
| Computer-Aided Verification | Advanced | 3+3 | TISS |
| Dynamic Compilation | Advanced | 3 | TISS |
| Efficient Programs | Advanced | 3 | TISS |
| Formal Methods for Concurrent and Distributed Systems | Advanced | 3 | TISS |
| Formal Verification of Software | Advanced | 6 | TISS |
| High Performance Computing | Advanced | 3 | TISS |
| Model Engineering | Advanced | 6 | TISS |
| Optimizing Compilers | Advanced | 3 | TISS |
| Parallel Architectures and Programming Models | Advanced | 3 | |
| Program Analysis | Advanced | 3 | TISS |
| Programming Languages | Advanced | 3 | TISS |
| Requirements Engineering and Specification | Advanced | 3 | TISS |
| Rigorous Systems Engineering | Advanced | 3 | TISS |
| Seminar in Formal Methods | Advanced | 3 | TISS |
| Software Model Checking | Advanced | 6 | TISS |
| Software Testing | Advanced | 3 | TISS |
| Stack-Based Languages | Advanced | 3 | TISS |
| Semantics of Programming Languages | Advanced | 3 | TISS |
| Seminar in Programming Languages | Advanced | 3 | TISS |
| Type Systems | Advanced | 3 | TISS |
Master’s Thesis
General information about the formalities can be found at the website of the faculty of informatics (in German).