Bewijzen en redeneren voor informatici: verschil tussen versies
| (8 tussenliggende versies door 3 gebruikers niet weergegeven) | |||
| Regel 3: | Regel 3: | ||
* Nieuwe vak sinds academiejaar 2016-2017. | * Nieuwe vak sinds academiejaar 2016-2017. | ||
* | * Examen aan het einde van het semester, met twee oefentesten doorheen het semester. | ||
* Gegeven door prof. Blockeel. | * Gegeven door prof. Blockeel. | ||
| Regel 15: | Regel 15: | ||
Samenvatting hoofdstukken 1 tot 8: [[Media:KUL_BRI_Samenvatting_2018-02-17.pdf | Samenvatting BRI 2017-2018]] | Samenvatting hoofdstukken 1 tot 8: [[Media:KUL_BRI_Samenvatting_2018-02-17.pdf | Samenvatting BRI 2017-2018]] | ||
Samenvatting examen 2023: [[Media:BRI - 2022-2023 -- Liam Luys --.pdf | BRI - 2022-2023 -- Liam Luys --]] | |||
Samenvatting cursustekst 2023-2024: [[Media:Samenvatting_bri_2023.pdf | Samenvatting BRI 2023-2024]] | |||
==Oefeningen== | ==Oefeningen== | ||
| Regel 23: | Regel 27: | ||
In PDF: [[Media:KUL_BRI_Oplossingen-Oefeningen-17-18.pdf | Oplossingen-Oefeningen-BRI-2017-18]] | In PDF: [[Media:KUL_BRI_Oplossingen-Oefeningen-17-18.pdf | Oplossingen-Oefeningen-BRI-2017-18]] | ||
==Toetsen== | ==Toetsen== | ||
| Regel 30: | Regel 33: | ||
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! | 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 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! | |||
<table style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | <table style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | ||
| Regel 63: | Regel 73: | ||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | <td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | ||
[[Media:BRI 2021-2022-Tweede toets versie a.pdf | Toets2 versie a]] | [[Media:BRI 2021-2022-Tweede toets versie a.pdf | Toets2 versie a]] | ||
[[Media:BRI 2021-2022-Tweede toets versie b.pdf | Toets2 versie b]] | |||
</td> | </td> | ||
<td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | <td style="text-align:center; border:black solid 1px; border-collapse: collapse;"> | ||
Huidige versie van 9 jan 2025 14:29
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).
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 |
|
|
|
|
|
|
2017-2018 |
opmerking: het juiste antwoord op vraag 1 van toets 5d is 4 en niet 2. |
||||
|
2016-2017 |
Geen Oplossingen |
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