Forløb
Diskret matematik
Diplommodul
Mangler du matematiske kompetencer i forhold til softwareudvikling?
Med Diskret matematik kan du blive klogere på funktioner, relationer, bevisteknikker, rekursion samt specifikationer og programudsagn.
Bliv skarp på softwareudviklingens matematik!
Fagligt indhold
Med Diskret matematik får du forbedret dine matematiske kompetencer i forhold til softwareudvikling, så du kan anvende fundamentale matematiske strukturer og matematiske bevisteknikker i dit udviklingsarbejde.
Du får viden om:
- programudsagn, gyldighed og korrekthed af programmer
- formelle specifikationer til verifikation af programelementer
- induktion og rekursion.
Udbytte
Efter diplommodulet kan du gennemføre simple matematiske beviser, herunder induktionsbeviser og udføre funktionelle specifikationer udtrykt i prædikatslogik.
Niveau
Diskret matematik lærer dig om matematiske kompetencer, herunder logik, funktioner, bevisteknikker og specifikationer, som du kan bruge i dit arbejde med softwareudvikling.
Modulet hører under Diplomuddannelsen Softwareudvikling og kan tages som en del af den fulde diplomuddannelse eller som et enkeltfag.
Målgruppe
Diplommodulet er for dig, som arbejder med eller vil arbejde med softwareudvikling og har behov for at forbedre dine matematiske kompetencer.
Julie Kowal Kristiansen, specialkonsulent
Arbejder med området IT og kommunikation
27 28 94 38
juko@ucl.dk
