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.