Bewijzen en redeneren voor informatici

Algemeen

Nieuwe vak sinds academiejaar 2016-2017.
Examen aan het einde van het semester, met twee oefentesten doorheen het semester.
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

Samenvatting examen 2023: BRI - 2022-2023 -- Liam Luys --

Samenvatting cursustekst 2023-2024: Samenvatting BRI 2023-2024

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.

///////////////

Sinds het academiejaar van 2022-2023 is het systeem (weer) veranderd. De toetsen staan niet langer op punten en zijn niet verplicht, er is nu enkel een examen in januari. De toetsen zijn wel een goede voorbereiding voor het examen, dus maak ze zeker!

Academiejaar

Toets 1

Toets 2

Toets 3

Toets 4

Toets 5

2021-2022

/

Toets2 versie a

Toets2 versie b

/

N.V.T