Diplommodul
Diplomuddannelse i softwareudvikling
Diskret matematik
Fagets indhold er adgangskrav til en række kandidat- og masteruddannelser, fx datalogi ved Aalborg Universitet og Master i Softwarekonstruktion ved IT-Vest.
Indhold
Mængder, logik, funktioner og relationer, bevisteknikker, induktion og rekursion samt formelle specifikationer og programudsagn.
Hvad får du ud af modulet?
Viden
Den studerende har viden om
- fundamentale matematiske strukturer (udsagns- og prædikatslogik, mængder og multimængder, funktioner og relationer)
- matematiske bevisteknikker
- induktion og rekursion
- programudsagn, gyldighed og korrekthed af programmer
Færdigheder
Den studerende kan
- gennemføre simple matematiske beviser, herunder induktionsbeviser
- udarbejde funktionelle specifikationer udtrykt i prædikatslogik
- anvende formelle specifikationer til verifikation af programelementer
Kompetencer
Den studerende kan
- tilegne sig viden og færdigheder inden for softwareudvikling, som kræver kendskab til matematiske begreber og strukturer
Læs mere om modulet
Tilmeld dig
Vi udbyder forløbet på nedenstående tidspunkter.
Få besked om fremtidige datoer
Der er i øjeblikket ingen planlagte datoer for dette forløb. Udfyld formularen, hvis du vil have besked, når vi har fastsat nye datoer.
Få vejledning og mere at vide
Få seneste nyt fra UCN act2learn Erhverv
Nyhedsbrev til det nordjyske erhvervsliv. Få ny viden, inspiration og gode råd og bliv opdateret på relevante kurser og videreuddannelser, webinarer og arrangementer.
Udkommer 4-6 gange om året.