Na afloop van de cursus kun je:
- Omgaan met de wiskundige stijl zoals die in beweringen en in bewijzen in de infomatica gebruikt wordt.
- Wiskundige basisdefinities direct reproduceren.
- Zelf stellingen bewijzen aan de hand van definities.
- Redeneren over geldigheid van formules in modellen bij propositielogica en predikaatlogica.
- Voorbeelden in natuurlijke taal omzetten naar geschikte wiskundige objecten en vervolgens op het formele niveau van de wiskunde over die objecten redeneren.
|
|
De cursus Wiskundige Structuren laat je kennismaken met formele taalmiddelen en objecten die aan de basis staan van de wiskunde en de informatica.
|
|