Grondslagen van de informatica I

Course Language: 
Olga De Troyer
Reinout Roels
Non WISE assistants: 
Christophe Debruyne

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.

The course takes place in the first semester (Sept-Dec).