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

Toets 1	Toets 2	Toets 3	Toets 4	Toets 5
2017-2018
Toets 1a Toets 1b Toets 1c Toets 1d
2016-2017
Geen Oplossingen	Toets 2a Toets 2b Toets 2c Toets 2d	Toets 3a Toets 3b Toets 3c Toets 3d	Toets 4a Toets 4b Toets 4c Toets 4d	Toets 5a Toets 5b Toets 5c Toets 5d opmerking: de juiste antwoorden voor vraag 3 van toets 5c zijn 1,2,3 en niet 1,2.