This course is available on the BSc in Management, BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics, BSc in Politics, BSc in ...
The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...
This course is compulsory on the BSc in Philosophy, Politics and Economics. This course is available as an outside option to students on other programmes where regulations permit and to General Course ...