SluitenHelpPrint
Switch to English
Cursus: NWI-IPC020
NWI-IPC020
Wiskundige Structuren
Cursus informatieRooster
CursusNWI-IPC020
Studiepunten (ECTS)3
CategoriePB (Propedeuse)
VoertaalNederlands
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Informatica en Informatiekunde;
Docenten
Coördinator
dr. E.G.M. Hubbers
Overige cursussen docent
Contactpersoon van de cursus
dr. E.G.M. Hubbers
Overige cursussen docent
Docent
dr. E.G.M. Hubbers
Overige cursussen docent
Docent
dr. A.R. Kissinger
Overige cursussen docent
Collegejaar2017
Periode
KW1  (04-09-2017 t/m 12-11-2017)
Aanvangsblok
KW1
Onderwijsvorm
voltijd
Opmerking-
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure-
Cursusdoelen
Na afloop van de cursus kun je:
  • Omgaan met de wiskundige stijl zoals die in beweringen en in bewijzen in de infomatica gebruikt wordt.
  • Wiskundige basisdefinities direct reproduceren.
  • Zelf stellingen bewijzen aan de hand van definities.
  • Redeneren over geldigheid van formules in modellen bij propositielogica en predikaatlogica.
  • Voorbeelden in natuurlijke taal omzetten naar geschikte wiskundige objecten en vervolgens op het formele niveau van de wiskunde over die objecten redeneren.
Inhoud
De cursus Wiskundige Structuren laat je kennismaken met formele taalmiddelen en objecten die aan de basis staan van de wiskunde en de informatica.

Bijzonderheden
De urenverdeling over de werkvormen is nog niet definitief op het moment dat deze gegevens zijn ingevoerd.
Onderwerpen
De volgende onderwerpen komen aan bod:

• Verzamelingsleer, rijen en sommaties
• Functies (injectieve, surjectieve en bijectieve functies)
• Propositielogica
• Predikaatlogica
• Inductie (normale inductie en verloopsinductie)
• Getaltheorie (delers, priemgetallen en modulorekenen)
• Relaties (equivalentierelaties, partities en ordeningen)
• Machtigheden (eindige, aftelbare en overaftelbare verzamelingen)
Toetsinformatie
Het vak wordt afgesloten met een schriftelijk tentamen. Via het huiswerk is er een bonus van maximaal 1 punt te verdienen.
Contact informatie
http://www.cs.ru.nl/~hubbers/courses/ms
Literatuur
Dit vak wordt gegeven aan de hand van het boek 'Discrete Mathematics and Its Applications', van Kenneth H. Rosen. We gebruiken de zogenaamde 'Global edition' van de zevende editie, ISBN-978-0-07-131501-2. Bij dit vak behandelen we ongeveer de helft van het boek, maar de rest van het boek wordt bij het vak Combinatoriek gebruikt. We gaan er van uit dat iedereen over dit boek beschikt.
Werkvormen
24 uur hoorcollege
16 uur werkcollege
44 uur zelfstudie
Verplicht materiaal
Boek
'Discrete Mathematics and Its Applications', van Kenneth H. Rosen. We gebruiken de zogenaamde 'Global edition' van de zevende editie.
ISBN:9780071315012
Werkvormen
Cursus
AanwezigheidsplichtJa

Hoorcollege

Werkcollege

Voorbereiding bijeenkomsten
Studenten dienen zich voor te bereiden op het werkcollege via de huiswerkopdracht.

Zelfstudie

Toetsen
Tentamen
Weging1
GelegenhedenBlok KW1, Blok KW2

SluitenHelpPrint
Switch to English