[ 404LOSD21 ] Subject i. Logic and software design

Workload Mode of examination Education level Study areas Responsible person Coordinating university
0-33 ECTS Structure M - Master's programme Mathematics Manuel Kauers Johannes Kepler University Linz
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.
Subordinated subjects, modules and lectures