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 al 4 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

BRI_Definities_2017-2018

Samenvatting hoofdstukken 1 tot 8: Samenvatting BRI 2017-2018

Oefeningen

De oefeningen van dit vak staan verwerkt in de cursus en worden gemaakt tijdens de oefenzittingen. Je hoeft de oefeningen niet voor te bereiden, maar dat wordt wel aangeraden. Vooral omdat er een groot aantal oefeningen zijn (meer dan 200 in 17-18). Spijtig genoeg worden er amper oplossingen meegegeven en dus weet je meestal niet of je juist bent. Uit ervaring lijkt dat je wel veel juist hebt, maar uiteindelijk staan er veel fouten in je oefeningen en leer je dus het verkeerde voor het examen.

Bundeling van alle oplossingen van de oefeningen van het academiejaar 2017-18. Merk op dat dit door studenten werd gemaakt en dat er dus heel veel fouten in staan: Google sheet document

In PDF: Oplossingen-Oefeningen-BRI-2017-18

Toetsen

In het begin van elk hoorcollege (buiten het eerste hoorcollege) wordt een kleine toets afgenomen. Je krijgt hiervoor een tiental minuten. De toetsen zijn niet zo moeilijk, maar het is nodig je les te herhalen om zeker te zijn dat je genoeg haalt.

De toetsen staan elk op een punt en tellen mee voor het eindtotaal. Je kan dus 4 van de 20 punten hiermee verdienen. Zorg er voor dat je steeds op tijd in de les bent! /////////////// Sinds het academiejaar 2021-2022 is het systeem veranderd. Er zijn namelijk 3 toetsen, één in oktober, één in november en een laatste in december. Deze staan respectievelijk op 5, 5 en 10 punten.

Academiejaar	Toets 1	Toets 2	Toets 3	Toets 4	Toets 5
2021-2022	/	Media:BRI 2021-2022-Tweede toets versie a.pdf	/	/	/
2017-2018	Toets 1a Toets 1b Toets 1c Toets 1d	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: het juiste antwoord op vraag 1 van toets 5d is 4 en niet 2.
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.

Examen

Examenvragen_BRI_Jan_2019 Examen 2018 leek op dat van 2019

Examenvragen_BRI_Jan_2020 Examen 2020 leek op dat van 2019