Bewijzen en redeneren voor informatici
Algemeen
- Nieuwe vak sinds academiejaar 2016-2017.
- 5 kleine toetsen die meetellen voor 1 punt van het examen (elke hoorcollege vanaf de tweede hoorcollege).
- Gegeven door prof. Blockeel.
Samenvattingen
Deze pdf bevat de belangrijke definities van de eerste 8 hoofdstukken (hoofdstuk 9 hoefde niet gekend te zijn). BRI_Definities_2016-2017
Toetsen 2016
Toets 2
Toets 3
Toets 4
Toets 5
- opmerking: de juiste antwoorden voor vraag 3 van toets 5c zijn 1,2,3 en niet 1,2.