Grondslagen van de Wiskunde, voorjaar 2017
Deze pagina geeft informatie over het derdejaarsvak Grondslagen van de Wiskunde.
Dit vak wordt gegeven in periode 3. Er is, twee maal per week, een hoorcollege (2 uur) en een werkcollege (2 uur). Hoorcollegedocent Jaap van Oosten, werkcollegebegeleiders Sven Bosman en Jetze Zoethout.
Het hoorcollege is maandags van 9:00 tot 10:45 in BBG 079 en woensdags van 9:00 tot 10:45 in BBG 061.
De werkcolleges zijn op dinsdag van 17:15 tot 19:00 (!) in BBG 065, en op woensdag van 11:00 tot 12:45 in BBG 209 (behalve in de weken 9,10 en 11: dan zijn ze respectievelijk in BBG 161, Unnik 201 en BBG 201).
We werken met het dictaat "Sets,Models and Proofs" van Moerdijk en Van Oosten, bij de
A-eskwadraat balie verkrijgbaar of hier te downloaden (pdf format). Het dictaat wordt ieder jaar bijgewerkt en het is het beste steeds de recentste versie te hebben; echter, de veranderingen dit jaar zijn klein en betreffen vooral uitbreiding van de opgaven (waardoor de nummering van de opgaven is veranderd); zie ook in het overzicht hieronder.
Tentamenregeling en Inleveropgaven
Er zijn twee deeltentamens, A en B (en, later, een herkansing over de gehele stof). Daarnaast werken we met inleveropgaven. Iedere week zal er een inleveropgave worden opgegeven, die op de dinsdag erna wordt ingeleverd bij een van de assistenten tijdens het werkcollege. De inleveropgaven tellen voor 15% mee in het eindcijfer. Dat wil zeggen: als T het eindcijfer is voor de tentamens en I het eindcijfer van de inleveropgaven, dan wordt je cijfer C het maximum van T en (85xT +15xI)/100.
Om het vak te halen dient het cijfer C minstens 5.5 te zijn; of bij de herkansing is minstens 5.5 gehaald.
Deeltentamenresultaten hebben geen zelfstandige betekenis (dat wil zeggen: ze blijven niet staan tot het volgend jaar).
Zie onderaan deze pagina voor oude tentamens (waarvan sommige met uitwerkingen).
Nieuwe herkansingsregel:
De nieuwe, vanuit Universiteit en Faculteit ingevoerde regel omtrent herkansingen luidt, dat alleen diegenen die een 4 of een 5 als eindcijfer hebben, aan de herkansing mogen meedoen.
Planning/overzicht van behandelde stof
- Week 6 maandag: t/m Proposition 1.1.7. Opgaven: 1,3,4c,4d,9.
woensdag: tot sectie 1.2.1. Opgaven: 10,11,13,17,19.
Inleveropgave: 15
- Week 7 maandag: sectie 1.2.1. Opgaven: 22,23,24,25,26.
woensdag: sectie 1.3. Opgaven: 30,33,34,35,39.
Inleveropgave: 29, a),b).
- Week 8 maandag: restje 1.3 en 1.4; 2.1 en 2.2 t/m definitie formules (2.2.3). Opgaven: 41,42,43,46.
woensdag: rest 2.2; 2.3. Opgaven: 50 (enkele gevallen), 51,52,53,55,57,59.
Inleveropgave: 48
- Week 9 maandag: 2.4, 2.5. Opgaven: 58,60,61,63,64.
Hier is wat achtergrond (geschreven door Eric Faber) omtrent de Compactheidsstelling
woensdag: Eventuele restjes van 2.4, 2.5; vragen en oefententamens. Opgaven: 70--76.
Inleveropgave: 68. Deze kan worden ingeleverd tijdens het A-tentamen.
- Week 10 maandag: 2.6 en 2.7 t/m Definitie 2.7.2. Opgaven: 78,79,81,83,84.
woensdag: deeltentamen A, 8 maart, 09:30--12:30, in zaal Pangea van het Koningsbergergebouw. Tentamenstof: alles t/m 2.5.
Hier is het A-tentamen, met beknopte uitwerking.
Deze week geen inleveropgave
- Week 11 maandag: afmaken 2.7 (zonder de toepassingen), 2.8. Opgaven: 85,86,87,90,91,93.
woensdag: 2.9. Opgaven: 93,94,95,98.
Inleveropgave: 94
- Week 12 maandag: begin 3.1. Opgaven: 100,101,102,103 (enkele gevallen),104.
woensdag: afmaken 3.1, 3.2. Opgaven: 106,108,109.
Inleveropgave: 109
- Week 13 maandag: 3.3 en begin 4.1 (axioma's van ZF). Opgaven: 111,114,115,116.
woensdag: ordinaal- en kardinaalgetallen (4.2). Opgaven: 118,119,121,122.
Inleveropgave: 125
- Week 14 maandag: afmaken 4.2, en 4.3. Opgaven: 123,124,125,126,127.
woensdag: Vragen en oefententamens.
Inleveropgave: 129. Deze kan worden ingeleverd tijdens het B-tentamen.
- Week 15: woensdag 12-04-2017, 09:00--12:00: deeltentamen B in Ruppert Blauw. Tentamenstof: alles vanaf 2.6.
- Week 27: woensdag 5-07-2017, 9:00-12:00: herkansingstentamen (gehele stof) in BBG 007.
Hier is een link naar A-eskwadraat.
Oude tentamens
A-tentamen november 2007 met uitwerking;
A-tentamen november 2008 met uitwerking;
A-tentamen november 2011 met uitwerking;
A-tentamen oktober 2012 met uitwerking;
A-tentamen december 2013, met uitwerking
A-tentamen december 2014, met uitwerking
A-tentamen december 2015, met uitwerking
A-tentamen maart 2017, met uitwerking
B-tentamen januari 2007 met uitwerking
B-tentamen januari 2008 zonder uitwerking
B-tentamen januari 2009 zonder uitwerking
B-tentamen januari 2012 met uitwerking
B-tentamen november 2012 met uitwerkingen
B-tentamen januari 2014 zonder uitwerkingen
B-tentamen januari 2015 met gedeeltelijke uitwerking
B-tentamen januari 2016 met gedeeltelijke uitwerking
Herkansingstentamen januari 2013, met uitwerking
Terug naar mijn onderwijspagina