Bewijstechnieken

Het doel van dit vak is tweeledig:

1) studenten kennis laten maken met verzamelingenleer, logica en bewijstechnieken

2) studenten laten oefenen met het aanpakken van wiskundige vraagstukken en het opschrijven van oplossingen / uitwerkingen.

Onderwerpen die behandeld zullen worden:

*predicatenlogica (proposities, connectieven, kwantoren, waarheidstabellen),

*bewijstechnieken (waaronder inductie en bewijs uit het ongerijmde),

*basale verzamelingenleer (bewerkingen op verzamelingen, kardinaliteit).

*relaties (waaronder ook functies, injectiviteit/surjectiviteit/bijectiviteit, equivalentierelaties).

Er zijn drie toetsonderdelen:

* Een tussentoets in week 1.5 over het eerste deel van de stof. Dit is een schriftelijke toets. Het cijfer draagt 40% bij aan het eindcijfer.

* Een eindtoets in week 1.10 over de gehele stof. Dit is een schriftelijke toets. Het cijfer draagt 60% bij aan het eindcijfer.

* Een voldoende / onvoldoende voor het practicum. Voorwaarden voor een voldoende zijn aanwezigheid en voldoende inzet.