Logic and set theory

Cursus

Omschrijving

Logisch redeneren is een onmisbaar hulpmiddel bij het ontwerpen van oplossingen voor complexe technische problemen. Bij dit vak worden de principes van het correct redeneren behandeld. Je leert om uitspraken te formuleren in een precieze logische taal, en hoe deze uitspraken kunnen worden gemanipuleerd op gestructureerde en logisch verantwoorde wijze. Aan het eind van het vak kun je eenvoudige wiskundige bewijzen leveren, bijvoorbeeld gebruik makend van volledige inductie.
Cursusperiode1/09/12 → …
CursusniveauIntroductie
CursusformaatCursus