Kwantoren - Samenvattingen, Aantekeningen en Examens

Uitgebreid overzicht van colleges en aanvullende aantekeningen op de colleges

Redeneren & Bewijzen in de wiskunde. Op tal van manieren kun je wiskundig aantonen dat iets wel of niet kan of bestaat (in de wiskunde). In dit document wordt een aantal zaken beschreven. Denk aan het Euclidische algoritme, lineaire Diophantische vergelijkingen, bewijzen uit het ongerijmde of middels volledige inductie, kwantoren, etc..

Dit is de samenvatting van het eerste hoofdstuk van het vak Discrete Wiskunde. In deze samenvatting werd zowel alle informatie uit de slides als bijkomende informatie uit eigen notities en de cursustekst opgenomen.

EN: Logic and Set Theory (2IT60) is a course taught at Eindhoven University of Technology. It is a mandatory course for Bachelor Computer Science and Engineering students. It is given in the first quartile of the first year and forms the basis for the study. Logic and Set Theory discusses boolean variables, truth tables, propositions, equivalences, quantifiers, reasoning, sets, relations and mappings. ---- NL: Logic and Set Theory (2IT60) is een vak die wordt gegeven op de Technische Universi...