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