Courses



Five elective modules out of the Modules 1 to 20 amounting to a total of 50 ECTS-Credits have to be selected.
Elective Modules (50 ECTS-Credits)
Go to the superordinate section
Elective Module 1: Automated Reasoning (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know different first- and higher-order logics and their advantages and disadvantages. Additionally they are familiar with suitable calculi to implement an automatic theorem prover.
Elective Module 2: Computer Vision (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess in-depth knowledge and competencies of geometric aspects of image recording, of methods to characterize local image content and further selected sub areas of computer vision. They possess the skills to apply these to related, complex problems in computer vision as well as to further elaborate similar and more specialised contents in an autonomous manner. Furthermore they have accumulated a wide basic knowledge in the most important aspects of computer vision and possess the skill to apply this knowledge to practical problems.
Elective Module 4: Enterprise Architecture (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess skills in the area of enterprise architecture. In particular, they possess the skill to represent business processes as process models, to analyse, and implement them. They know the frameworks and standards for the implementation of IT Governance. They can identify problems in IT Governance and are able to select instruments, methods and processes to improve them. They have acquired the skill to work in teams.
Elective Module 5: Decision Procedures (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools.
Elective Module 6: Vehicular Networks (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of intra-vehicle and inter-vehicle communication, which is characterized by high dynamics and heterogeneity of the used protocols. They are able to use measures like performance and reliability. They understand wireless communication between vehicles with a focus on its distributed nature, scalability and security (incl. privacy).
Elective Module 7: Advanced Compiler Construction (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module can specify and explain complex program analysis and optimisation techniques of compilers and implement optimisation strategies.
Elective Modules 8: Advanced Communication Systems (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of advanced communication systems. Besides understanding the basics of modern circuitand packet switching networks, they also understand quality of service mechanisms which form the basis for multimedia transmission. They understand the characteristics of wireless and mobile networks.
Elective Module 9: Advanced Concepts and Techniques in Software Engineering (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the advanced concepts and techniques of software engineering and can apply them to projects. They can apply the learned techniques for quality assurance of IT systems. They possess the skills to autonomously analyse and solve a given problem as well as to manage IT projects.
Elective Module 11: Information Retrieval (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the concepts, techniques and algorithms of information retrieval in modern information systems. They possess detailed knowledge of the mode of operation of current web search engines and multimedia retrieval systems, especially their algorithms for retrieving, processing and evaluation of data. Furthermore they possess the skills to apply this knowledge in a practical manner and to autonomously further expand their knowledge in the area of information retrieval.
Elective Module 13: Interactive Theorem Proving (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers.
Elective Module 15: Network Security (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the most important concepts of network security, the practical relevance and concept of cryptographic techniques and their application. They are able to apply security protocols and to integrate methods of network security into protocol stacks. They have acquired competencies in the area of attack identification in high-speed networks.
Elective Module 16: New Database Models (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module know and understand the foundations of new database concepts and can compare them with and evaluate against the architecture of conventional database systems. They understand the concepts of object-oriented, document-oriented, XML and graph-based systems and possess the skill to apply them in the respective query languages. Furthermore they possess the ability to autonomously acquire further skills regarding the content of the different areas.
Elective Moduel 19: Semantic Web Services (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand the fundamental concepts and technologies in conjunction with semantic web services. They are familiar with frameworks for representation, relaying and execution of semantic web services and possess an overview of application with build on them.
Elective Module 20: Web Engineering (10 ECTS-Credits, 5 h) (no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess an in-depth understanding of the specific requirements of web applications. They master relevant technologies and languages (XHTML, JavaScript, CSS, Java) as well as methods for the development of web applications, especially requirement analysis, test procedures and project management.

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).