Courses
Go to the superordinate section
Elective Module 1: Programme Verification (7,5 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: After completing this module, students can understand, create and correct the specifications of
programmes. They have acquired the skill to prove specifications formally. They use a combination
of interactive and automatic methods to combine expressive logic with efficient search
for proof.
programmes. They have acquired the skill to prove specifications formally. They use a combination
of interactive and automatic methods to combine expressive logic with efficient search
for proof.
Elective Module 2: Software Quality (7,5 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: After completing this module, students know and understand methods and techniques of quality
assurance and can apply them in all stages of the software cycle. They can identify quality issues
and select appropriate methods, techniques and tools to solve them, as well as target the software
lifecycle and to optimise specific quality aspects. They have acquired the skill to independently
work out similar contents.
assurance and can apply them in all stages of the software cycle. They can identify quality issues
and select appropriate methods, techniques and tools to solve them, as well as target the software
lifecycle and to optimise specific quality aspects. They have acquired the skill to independently
work out similar contents.
Elective Module 3: Distributed Systems (7,5 ECTS-Credits, 5 h)
(no courses)
Prerequisites for registration: none
Learning Outcome: After completing this module, students know important concepts of distributed systems. They
are able to analyse distributed systems in terms of fault tolerance, availability, reliability, performance
and scalability. In addition, they have acquired the ability to design, implement and run
smaller distributed system applications on distributed systems.
are able to analyse distributed systems in terms of fault tolerance, availability, reliability, performance
and scalability. In addition, they have acquired the ability to design, implement and run
smaller distributed system applications on distributed systems.
Elective Module 4: Visual Computing (7,5 ECTS-Credits, 5 h)
(no courses)
Prerequisites for registration: none
Learning Outcome: After completing this module, students understand elementary methods of visual computing, in
particular in image processing and image synthesis. They are able to solve respective problems
through targeted use of the methods and to work out similar contents themselves.
particular in image processing and image synthesis. They are able to solve respective problems
through targeted use of the methods and to work out similar contents themselves.
703320
VU Selected Chapters in Logic and Learning B: Advanced Logic and Quantum Logic (VU / 3h / 5 ECTS-AP)
Georg Moser
Georg Moser
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).