NWI-WP029
Inleiding Wiskunde
Cursus informatieRooster
CursusNWI-WP029
Studiepunten (ECTS)6
CategoriePB (Propedeuse)
VoertaalNederlands
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Wiskunde, Natuur- en Sterrenkunde;
Docenten
VorigeVolgende 1
Docent
M.J.M. van den Brekel
Overige cursussen docent
Docent
drs. M. Campschroer
Overige cursussen docent
Docent
prof. dr. N.P. Landsman
Overige cursussen docent
Examinator
prof. dr. N.P. Landsman
Overige cursussen docent
Coördinator
prof. dr. N.P. Landsman
Overige cursussen docent
Collegejaar2019
Periode
KW1  (02-09-2019 t/m 03-11-2019)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerking-
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen
De student:
• is in staat te werken met propositielogica en waarheidstafels
• is in staat predikaat- (d.w.z. eerste-orde) logische formules te lezen en te manipuleren
• is in staat vanuit axioma's en deductieregels een (informeel maar correct) wiskundig bewijs op te schrijven
• is vertrouwd met de diverse vormen van wiskundige bewijzen (bijv. uit het ongerijmde)
• is in staat (op informeel niveau) te werken met verzamelingen
• kan werken met functies, relaties, equivalentierelaties, en partiële ordeningen
• is bekend en vertrouwd met diverse soorten getallen (met name natuurlijk, geheel, rationaal, reëel, en complex)
• kan bewijzen met inductie (op de natuurlijke getallen) uitvoeren
• kan werken met recursieve definities
• is vertrouwd met oneindige verzamelingen en het begrip kardinaliteit
 
Inhoud
Dit college is een inleiding in de taal en denkwijze van de moderne wiskunde. Er wordt een aantal elementaire onderwerpen behandeld die voor een verdere studie van de wiskunde onontbeerlijk zijn en die dan ook dienen als voorkennis voor vrijwel alle andere wiskundecursussen. Behandeld worden onderwerpen als formele taal, verzamelingen, functies en relaties, getallenstelsels, inductie, ordeningen en kardinaliteit. De behandeling van deze onderwerpen is grotendeels informeel, dat wil zeggen, niet-axiomatisch (maar wel precies!)
Niveau

Voorkennis
Wiskunde B (VWO-niveau)
Toetsinformatie
Schriftelijk, waarbij werkcollegeresultaten meetellen
Bijzonderheden

Onderwerpen
•propositie- en predikaatlogica
•verzamelingen
•functies en relaties
•equivalentierelaties en ordeningen
•getallenstelsels
•inductie
•kardinaliteit, aftelbaarheid

Toetsinformatie
Schriftelijk, waarbij werkcollegeresultaten meetellen

Voorkennis
Wiskunde B (VWO-niveau)

Verplicht materiaal
Syllabus
Inleiding in de Wiskunde door N.P. Landsman (online beschikbaar)
Kosten:0,00
Boek
D.J. Velleman, How to prove it: A structured approach (second edition), CUP, 2006
ISBN:9780521675994
Titel:How to prove it: A structured approach (second edition)
Auteur:Daniel J. Velleman
Uitgever:Cambridge University Press
Druk:2
Kosten:34,00

Werkvormen
Cursusgebeurtenis

Hoorcollege

Werkcollege

Zelfstudie

Toetsen
Tentamen
Weging1
ToetsvormTentamen
GelegenhedenBlok KW1, Blok KW2