Logica en formele systemen

Level: Bachelor
Semester: 1st Semester (September - December)
Language: Dutch
Teacher: Olga De Troyer
Assistant(s): Reinout Roels
Course Description

The aims of this course are:

  • To provide the students the basic knowledge of logic, more in particular proposition logic and predicate logic, so that they are able to use this knowledge to formulate and solve problems.
  • To give the students sufficient knowledge about logic, so that they are  able to learn other types of logic.
  • To give the students an overview of the domain of logic, such that they know that other types of logic exist with different capabilities.
  • To show students the link between formal systems, such as Lambda Calculus, and programming languages such as Scheme.