
Detailed information 
Original study plan 
Master's programme Computer Mathematics 2021W 
Objectives 
In this subject, on the one hand the theoretical basis of mathematical logic is covered, culminating in the relation between "truth" and "provability". Based on this, fundamental questions related to the expressive power of formal logic are discussed. On the other hand, the subject addresses the fundamental relation between mathematics/logic and computer science. In particular, the theoretical aspects of computer science, the scientific treatment of programs, as well as alternative programming models are discussed.

Subject 
The contents of this subject follows from the contents of the courses it consists of.

