Cursusrecensie
Hoe was de inhoud van de cursus?
De nadruk bij deze cursus ligt op bewijzen. Je leert onze (natuurlijke) taal te abstraheren naar een wiskundige taal. Vervolgens leer je methodes om de waarheid van beweringen (in een wiskundige taal) te bewijzen. Het boek/dictaat is door de docent zelf gemaakt en is iets lastiger om te lezen, omdat het losse notities zijn ipv een boek, er zitten nog veel foutjes in. Vooral de eerste hoofdstukken zijn lastig om te lezen, omdat er veel wiskundige voorbeelden in gebruikt worden (terwijl het eigenlijk een alfa vak is). Schrik niet als je het aan het begin nog lastig vindt, het wordt makkelijker naarmate je verder komt.
Hoe was de kwaliteit?
Wat zou je een student die deze cursus overweegt vertellen?
Als je het leuk vind om stellingen te bewijzen is dit het vak voor jou. Ook als je overweegt iets met AI te doen is het handig om deze cursus te doen: het is namelijk ook een vak van de pre-master.