Diskret matematik

Brænder du for matematik, og vil du lære at anvende det i forhold til softwareudvikling? Så er faget diskret matematik lige noget for dig. 

Hvorfor skal du tage faget?

På faget diskret matematik får du matematiske kompetencer, som du kan benytte i forhold til softwareudvikling, og du opnår en forståelse for matematiske bevisteknikker, induktion, rekursion og programudsagn.

Du vil:

  • Blive kvalificeret til at udarbejde funktionelle specifikationer baseret på prædikatslogik
  • Få færdigheder inden for softwareudvikling gennem kendskab til matematiske begreber og strukturer
  • Lære at anvende specifikationer til verifikation af programelementer

Indhold

På faget diskret matematik skal du blandt andet arbejde med:

  • Logik og ræsonnement
  • Relationer
  • Funktioner
  • Mængder
  • Induktion og rekursion
  • Specifikationer og programudsagn

Læs mere om læringsmål mv. i studieordningen.

Eksamen og ECTS

Diskret matematik er et valgfag på diplomuddannelsen i softwareudvikling. Faget består af 5 ECTS.

Eksamenen er en mundtlig prøve på baggrund af en synopsis.

Hør en tidligere studerende fortælle om IT-uddannelsen på Cphbusiness.