MSc Logic and Computation in a nutshell

Graduation Conditions

Mandatory Modules

Elective Modules

Transferable Skills

Freely Elective Courses

ECTS completed
Version 26. September 2023

Mandatory Modules

roughly in semester-order

Module Algorithmics

Module Discrete Mathematics

complete all

Module Formal Methods in Computer Science

complete all

Module Knowledge-based Systems

Module Diplomarbeit

complete all

Official Documents (DE only)

compiled from the University Gazettes

Semester Schedule

6 VU Algorithmics
4 VO Discrete Mathematics
5 UE Discrete Mathematics
6 VU Formal Methods in Computer Science
6 VU Knowledge-based Systems
27 LU Master thesis
1.5 SE Seminar for Master Students in Logic and Computation
1.5 Kommissionelle Abschlussprüfung