Studiewijzer 2018/2019

Globale inhoud

In dit vak leer je de taal van wiskundige bewijzen. Wat is een bewijs, en wat niet? Wat betekenen de logische symbolen in een bewijs? Hoe verzin je zelf een bewijs? Wat zijn de vaakst voorkomende bewijs-technieken? Hoe schrijf je een bewijs op zo’n manier op dat een collega je bewijs ook begrijpt?

Wiskunde leer je het beste door het zelf te doen. In de werkcolleges, het tutoraat, en het huiswerk oefenen we daarom veel met zelf bewijzen opschrijven. Dit doen we aan de hand van de belangrijke basisbegrippen uit de wiskunde die in de hoorcolleges aan bod komen: verzamelingen, complexe getallen, inductie, afbeeldingen, equivalentie-relaties, cardinaliteit en deelbaarheid. Het leren omgaan met deze begrippen, die in de hogere wiskunde vaak terugkomen, is ook een doel van het vak.

Studiemateriaal

Literatuur

  • Naslag: U. Daepp and P. Gorkin, ‘Reading, Writing, and Proving: A Closer Look at Mathematics’

Leerdoelen

Aan het einde van het vak kan de student:

  • onderscheid maken tussen een wiskundig bewijs en een intuïtieve uitleg;
  • uitleggen wat de logische symbolen in een bewijs betekenen;
  • veelgebruikte bewijstechnieken herkennen en zelf gebruiken;
  • zelf bewijzen vinden van eenvoudige stellingen over basisbegrippen uit de wiskunde;
  • wiskundige bewijzen op een begrijpelijke en consistente manier opschrijven.

Onderwijsvormen

  • Hoorcollege
  • Werkcollege
  • Tutoraat

Verdeling leeractiviteiten

Activiteit

Uren

Hoorcollege

28

Tentamen

3

Tutoraat

14

Werkcollege

28

Zelfstudie

95

Totaal

168

(6 EC x 28 uur)

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

  • Van elke student wordt actieve deelname verwacht aan het onderdeel waarvoor hij/zij staat ingeschreven.
  • Als een student door persoonlijke omstandigheden niet aanwezig kan zijn bij een verplicht onderdeel van het programma, dient hij/zij dit zo snel mogelijk schriftelijk te melden bij de betreffende docent en de studieadviseur.
  • Het is niet toegestaan om verplichte onderdelen van een onderdeel te missen als er geen sprake is van overmacht.
  • Bij kwalitatief of kwantitatief onvoldoende deelname, kan de examinator de student uitsluiten van verdere deelname aan het onderdeel of een gedeelte daarvan. Voorwaarden voor voldoende deelname worden van te voren vastgelegd in de studiewijzer en op Canvas.
  • Bij alle onderwijseenheden van jaar 1 en 2 is een student verplicht bij minimaal 80% van de werkcolleges en tutoraten aanwezig te zijn. Bovendien moet worden deelgenomen aan eventuele tussentoetsen en verplicht gesteld huiswerk. Als niet aan deze verplichting is voldaan, wordt de student uitgesloten voor de herkansing van de onderwijseenheid. In geval van persoonlijke omstandigheden, zoals in OER-A Artikel 6.4 omschreven, wordt in overleg met de studieadviseur een afwijkende regeling voorgesteld.

Toetsing

Onderdeel en weging Details

Eindcijfer

80%

Tentamen

Moet ≥ 5 zijn

20%

Huiswerk

Er wordt zes keer huiswerk ingeleverd en beoordeeld met een cijfer tussen 0 en 10; het laagste cijfer vervalt. Het gemiddelde van de overige huiswerk-cijfers telt voor 20% mee in het eindcijfer. Het cijfer voor het tentamen moet minstens een 5 zijn en telt voor 80% mee.

Voor huiswerk dat na de deadline wordt ingeleverd worden 0 punten toegekend.

In zeer uitzonderlijke gevallen kan uitstel worden verleend door de coördinator. Uitstel kan alleen schriftelijk worden aangevraagd, met geldige reden, en vòòr het verstrijken van de deadline.

Inzage toetsing

De manier van inzage wordt via de webpagina van het vak gecommuniceerd.

Opdrachten

Huiswerk

  • Wekelijkse huiswerkopgaven die worden beoordeeld en van feedback voorzien.

Opgaven

  • Oefenopgaven tijdens werkcollege en tutoraat, actieve deelname vereist.

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: http://student.uva.nl

Weekplanning

De weekplanning wordt tijdens het vak bijgehouden op Canvas.

Rooster

Het rooster van dit vak is in te zien op DataNose.

Contactinformatie

Coördinator

  • dr. S.J. van Gool