SluitenHelpPrint
Switch to English
Cursus: WISB323
WISB323
Grondslagen van de wiskunde
Cursus informatieRooster
CursuscodeWISB323
Studiepunten (ECTS)7,5
Categorie / Niveau3 (Bachelor Gevorderd)
CursustypeCursorisch onderwijs
VoertaalNederlands
Aangeboden doorFaculteit Betawetenschappen; Undergraduate School Bètawetenschappen;
Contactpersoondr. J. van Oosten
Telefoon+31 30 2533305
E-mailJ.vanOosten@uu.nl
Docenten
Docent
dr. J. van Oosten
Overige cursussen docent
Contactpersoon van de cursus
dr. J. van Oosten
Overige cursussen docent
Blok
2  (12-11-2018 t/m 01-02-2019)
Aanvangsblok
2
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 17-09-2018 t/m 30-09-2018
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
Na-inschrijvingJa
Na-inschrijving geopendvanaf 22-10-2018 t/m 23-10-2018
WachtlijstNee
Plaatsingsprocedureniet van toepassing
Cursusdoelen
Zie onder vakinhoud.
Inhoud
Het vak Grondslagen van de Wiskunde is een keuzevak voor wiskundestudenten. Het vak is voorkennis voor studenten die zich verder willen specialiseren in logica. Zie voor meer informatie over de studiepaden de studentenwebsite.
 
Leerdoelen: 
De onderwerpen die in dit vak aan bod komen zijn:
  • Elementaire (naïeve) verzamelingenleer: rekenen met kardinaliteiten, Keuze-axioma, Lemma van Zorn, Welordeningen, Transfinite Inductie en Recursie, Equivalentie van Keuze-axioma, Lemma van Zorn en Welordeningsstelling.
  • Eerste-orde talen, formules, zinnen, theorieën. 
  • Structuren en het begrip “zin ‑ is waar in structuur M”.
  • Definieerbaarheid en de Compactheidsstelling.
  • Enige modeltheorie: elementaire substructuren, kwantor-eliminatie, stellingen van Lowenheim-Skolem, categorische theorieën, Łos-Vaught Test.
  • Bewijsbomen.
  • Volledigheidsstelling.
  • Het axiomasysteem van Zermelo-Fraenkel.
  • Ordinaal- en kardinaalgetallen; de cumulatieve hiërarchie.
  • De reële getallen in ZF.
Na afronding van de cursus is de student in staat om: 
  • eenvoudige kardinaliteitsberekeningen uit te voeren;
  • bewijzen te produceren met behulp van Keuze-axioma en Lemma van Zorn;
  • functies en verzamelingen te definiëren met Transfinite Recursie;
  • zinnen in een formele eerste-orde taal op te schrijven van een gegeven structuur uit te maken of zij model is van een gegeven theorie;
  • de Compactheidsstelling toe te passen;
  • kwantor-eliminatie en de stellingen van Lowenheim-Skolem toe te passen; 
  • formele bewijsbomen te maken voor eenvoudige tautologieen;
  • eenvoudige wiskundige beweringen op te schrijven in de formele taal van ZF.
De student is in staat om zelfstandig de voor een gegeven eenvoudig probleem relevante bewijstechnieken te selecteren en het probleem daarmee op te lossen en de oplossing van het probleem duidelijk onder woorden te brengen.
Attitudes: de student geeft blijk van respect voor de waarheid.
 
Onderwijsvormen:
Er is twee keer per week een hoorcollege van twee uur, en twee keer per week werkcollege van twee uur.
 
Toetsing:
Er zijn twee deeltentamens (A en B) en een herkansing over de gehele stof.  Daarnaast zijn er 7 inleveropgaven, die voor 15% meetellen: als T het tentamencijfer is (het gemiddelde van A- en B-tentamen, of het cijfer voor de herkansing) en I het cijfer voor de inleversommen, dan is het eindcijfer het maximum van T en (85T+15I)/100. De inleversommen blijven dus geldig tot en met de herkansing.
 
Herkansing en inspanningsverplichting:
Studenten die een lager eindcijfer hebben dan een 4 mogen alleen meedoen aan de herkansing als zij voldoen aan de inspanningsverplichting van het vak, te weten:tenminste 5 inleversommen gemaakt.
 
Taal van het vak:
Het vak wordt in het Nederlands gegeven.
Ingangseisen
Voorkennis
Eerste twee jaar van de wiskundebachelor
Verplicht materiaal
-
Aanbevolen materiaal
Dictaat
Het boek “Sets, Models and Proofs” van I. Moerdijk en J. van Oosten, Springer Undergraduate Series, 2018. Online te vinden op de onderwijspagina van J. van Oosten
Software
Geen software nodig
Werkvormen
Hoorcollege

Werkcollege

Toetsen
Eindresultaat
Weging100
Minimum cijfer-

SluitenHelpPrint
Switch to English