Logica en formele systemen
1st Semester (September - December)
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.