Bewijstechnieken

Het doel van dit vak is studenten kennis te laten maken met verzamelingenleer, logica en bewijstechnieken.

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 tweetoetsonderdelen:

* 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.