Introduktion
På faget Diskret matematik opnår du kompetencer så du er i stand til at forbedre dine matematiske kompetencer i forhold til softwareudvikling, så du kan anvende fundamentale matematiske strukturer og matematiske bevisteknikker i dit udviklingsarbejde.
Når du tager faget Diskret matematik vil du
- 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
Relevans
Faget er relevant for dig, der gerne vil arbejde med store databaser, hvor performance er vigtig, og hvor der afvikles mange forespørgsler samtidigt. Du lærer om mængder, logik, funktioner og relationer, bevisteknikker, induktion og rekursion samt formelle specifikationer og programudsagn.
Udbytte
Du får kompetencerne til at
- tilegne dig viden og færdigheder inden for softwareudvikling, som kræver kendskab til matematiske begreber og strukturer
- gennemføre simple matematiske beviser og udføre funktionelle specifikationer udtrykt i prædikatslogik.
Praktisk
- valgfag på diplomuddannelsen i Softwareudvikling
- deltid / forventet tidsforbrug: ca. 19,5 timer om ugen
- omfang: 5 ECTS-point
- studieordning, diplom i Softwareudvikling (pdf)
- litteraturliste
- faget foregår 100% online
Faget Diskret matematik er så fleksibelt, at du kan tilrettelægge studiet, så det passer bedst ind i din hverdag. Vi tager udgangspunkt i dine problemstillinger og erfaringer, som du kan bruge direkte i dit daglige arbejde.
