Bewijzen en redeneren voor informatici
Algemeen
- Nieuwe vak sinds academiejaar 2016-2017.
- 5 kleine toetsen die meetellen voor 1 punt van het examen. Je kan dus al 5 van de 20 punten verdienen. De toetsen worden afgenomen in het begin van elk hoorcollege (vanaf het tweede hoorcollege), wees dus op tijd.
- 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
Toetsen 2017
Toets 1
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.