Verzamelingen vormen het fundament waarop alle exacte wetenschappen zijn gebouwd, het is onontbeerlijk hier kennis van te hebben en over verzamelingen te kunnen redeneren. In het vak Logica behandelen we verzamelingenleer omdat dit belangrijk is als basis voor andere exacte vakken in het curriculum, omdat verzamelingenleer nodig is voor het begrijpen van de semantiek van de predicatenlogica, en omdat je over verzamelingenleer aardige redeneringen kunt bedenken om te bewijzen of om tegenvoorbeelden voor te bedenken. In plaats van een overzicht te geven van waar we het in een aantal colleges over dit onderwerp over gaan hebben, geef ik een indruk aan de hand van de lijst met begrippen die de revue zullen passeren.

Kernbegrippen

• verzamelingen
• elementen
• gelijkheid en inclusie (deelverzameling)
• operaties op verzamelingen (doorsnede, vereniging, complement)
• Venn diagrammen
• verzamelingen van verzamelingen
• machtsverzameling
• relaties
• eigenschappen van relaties
• verschillende soorten functies

Leerdoelen
De student kent de definities van basisbegrippen van de naïve verzamelingenleer en is in staat deze basisbegrippen toe te passen in eenvoudige bewijzen.

Geschikte opgaven:
Beschrijven en Bewijzen, 5.1, 5.3 t/m 5.10
Practicum 2, opgave 4
Herkansing practicum 2, opgave 4

Bestanden