Grondslagen van de Wiskunde, herfst 2015

Deze pagina geeft informatie over het derdejaarsvak Grondslagen van de Wiskunde. Dit vak wordt gegeven in periode 2. Er is, twee maal per week, een hoorcollege (2 uur) en een aansluitend werkcollege (2 uur). Hoorcollegedocent Jaap van Oosten, werkcollegebegeleiders Martijn den Besten en Jetze Zoethout.

Het hoorcollege is dinsdags van 9:00 tot 10:45 in zaal HFG 611AB Let op dit is veranderd per 13 november 2015!; en donderdags van 13:15 tot 15:00 in BBG 161.
De werkcolleges zijn op dinsdag van 11:00 tot 12:45 in HFG 611AB, en op donderdag van 15:15 tot 17:00 in MIN 027 (behalve in de weken 48 en 50: dan zijn ze op donderdag in MIN 025).

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 enkele plaatjes van beroemde logici en 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. Er is een herkansing over de gehele stof. Tentamendata: zie hieronder.

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

Deeltentamenresultaten hebben geen zelfstandige betekenis (dat wil zeggen: ze blijven niet staan tot het volgend jaar). Het tentamen kan worden gehaald door over beide deeltentamens een gemiddelde van 5.5 te halen.

Inleveropgaven

Sinds een paar jaar 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.

Nieuwe herkansingsregel:

Planning/overzicht van behandelde stof

• Week 46 dinsdag: t/m Proposition 1.1.7. Opgaven: 1,3,4c,4d,9.
  Donderdag: tot sectie 1.2.1. Opgaven: 10,11,13,17,19 (in dictaat van 2014: 10,11,13,15,17).
  Inleveropgave: 15 (Deze opgave staat niet in het dictaat van 2014!)
• Week 47 dinsdag: sectie 1.2.1. Opgaven: 22,23,24,25,26 (in 2014: 20,21,22,23,24).
  Donderdag: sectie 1.3. Opgaven: 30,33,34,35,39 (in 2014: 28,30,31,32,35).
  Inleveropgave: 29 (27), a),b).
• Week 48 dinsdag: restje 1.3 en 1.4; 2.1 en 2.2 t/m definitie formules (2.2.3). Opgaven: 41,42,43,46 (in 2014: 37,38,39,41).
  Donderdag: rest 2.2; 2.3. Opgaven: 50 (enkele gevallen), 51,52,53,55,57,59 (in 2014: 45, 46,47,48,50,52,54).
  Inleveropgave: 48 (43)
• Week 49 dinsdag: 2.4, 2.5. Opgaven: 55,58,60,61,63,64 (in 2014:50,53,55,56,58,59).
  Donderdag: Eventuele restjes van 2.4, 2.5; vragen en oefententamens. Opgaven: 70--76 (in 2014:65--71).
  Inleveropgave: 68 (63)
• Week 50 dinsdag 8 december: deeltentamen A, 9:30-12:30 in HFG 611 AB. Tentamenstof: alles t/m 2.5.
  Hier is wat achtergrond (geschreven door Eric Faber) omtrent de Compactheidsstelling
  Hier is het tentamen met uitwerking
  Donderdag: 2.6 en 2.7 t/m Definitie 2.7.2. Opgaven: 78,79,81,83,84 (in 2014: 73,74,76,78,79).
  Inleveropgave: 83 (78)
• Week 51 dinsdag: afmaken 2.7 (zonder de toepassingen), 2.8. Opgaven: 85,86,87,90,91,93 (in 2014: 80,81,82,84,85,87).
  Donderdag: 2.9. Opgaven: 93,94,95,98 (in 2014: 87,88,89,90).
  Inleveropgave: 94 (88)
• Week 1 dinsdag 5 januari: begin 3.1. Opgaven: 99,101,102 (enkele gevallen),103,104 (in 2014:91,93,94,95,96).
  Donderdag: afmaken 3.1, 3.2. Opgaven: 106,108,109 (in 2014: 98,100,101).
  Inleveropgave: 108 (100)
• Week 2 dinsdag: 3.3 en begin 4.1 (axioma's van ZF). Opgaven: 111,112,114,115,116 (in 2014:103,104,106,107,108).
  Donderdag: ordinaal- en kardinaalgetallen (4.2). Opgaven: 116,118,119,121,122 (in 2014: 108,110,112,113).
  Inleveropgave: 124 (115)
• Week 3 dinsdag: afmaken 4.2, en 4.3. Opgaven: 123,124,125,126127 (114,115,116).
  Donderdag: Vragen en oefententamens
• Week 4: Dinsdag 26-1-2016, 08:30--11:30: deeltentamen B in Educatorium, zaal Theatron. Tentamenstof: alles vanaf 2.6.
• Week 11: ?? (maart 2016): herkansingstentamen (gehele stof) in ??.

Terug naar mijn onderwijspagina