Vrije Universiteit Brussel
Faculty of Science
Department of Computer Science
WISE Research Group
Search this site:
Thesis Templates & Info
Grondslagen van de informatica I
Course description page:
Olga De Troyer
Non WISE assistants:
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).