 |
| 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.
|
|
