Courses
Go to the superordinate section
Elective Module 1: Automated Reasoning (10 ECTS-Credits, 5 h)
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)
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 3: Data Warehouse Systems (10 ECTS-Credits, 5 h)
(no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess a wide understanding for the
problems, concepts and techniques of data warehouse systems, the implementation
thereof in modern database systems and their application and importance in the
economy. Specifically they will possess the skills to technically solve the most important problems and to autonomously elaborate more specialised content.
Elective Module 4: Enterprise Architecture (10 ECTS-Credits, 5 h)
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)
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 10: Advanced Distributed and Parallel Systems (10 ECTS-Credits, 5 h)
(no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are able to describe and classify more
complex distributed and parallel computer architectures (e.g. Cloud architectures). They understand techniques for resource management, scheduling and workload distribution. Performance analysis and optimisation of distributed and parallel applications can be carried out.
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 12: Information Security (10 ECTS-Credits, 5 h)
(no courses)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module understand concepts and methods of
information security and can apply them. The can use the acquired techniques for
protection of IT systems in regards to confidentiality, integrity and availability of data
and services. They have acquired the ability to autonomously analyse problems and
creatively solve problems.
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 14: Machine Learning (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 regarding modern methods of machine learning and probabilistic
modelling. They possess the skills to apply them to complex problems of machine
learning and to further expand their knowledge to similar and more complex problems in an autonomous fashion.
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)
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 Module 17: Parallel Systems (10 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module are familiar with parallel programming in
theory and practice. They have a solid understanding of the possibilities, challenges and limitations of parallel processing and can identify promising parallelisation strategies. Performance analysis can be applied as an interface between parallel computer architectures and programs.
Elective Module 18: Semantic Web (10 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: Students who have completed this module possess an in-depth knowledge of
fundamental methods, tools and applications for combining and automatic retrieval of
information in the semantic web or web 3.0. They have command of relevant descriptive languages (RDF, RDFS, OWL, RIF) and methodologies for knowledge representation in the form of ontologies and have an overview of the inference mechanisms and applications which build on that.
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).