DM547: Diskret matematik (5 ECTS)

STADS: 15014901

Niveau
Bachelorkursus

Undervisningsperiode
Kurset er placeret i efterårssemesteret.

Ansvarlige undervisere
Email: lenem@imada.sdu.dk

Skemaoplysninger
Hold Type Dag Tidsrum Lokale Uger Kommentar
Fælles I Mandag 14-16 U55 36
Fælles I Mandag 08-10 U55 37,39,41
Fælles I Onsdag 08-10 U55 37
Fælles I Onsdag 14-16 U55 38-41,43,45-48
T1 TE Mandag 10-12 U14 45-49
T1 TE Tirsdag 08-10 U31 38
T1 TE Onsdag 16-18 U31 37-39
T1 TE Fredag 12-14 U131 1 Lene Monrad Favrholdt
T2 TE Mandag 10-12 U14 37-41,43,45-49
T2 TE Tirsdag 16-18 U31 38,40,43
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. Fælles undervisning med DM549 Diskrete metoder til datalogi og MM537 Introduktion til matematiske metoder.

Indgangskrav:
Kurset kan ikke følges af studerende der har enten fulgt eller bestået MM537.

Faglige forudsætninger:
Studerende, der følger kurset, forventes at have A-niveau i matematik fra en gymnasial uddannelse.

Formål
Kurset skal formidle basale teknikker i at arbejde med matematiske begreber. Formålet er at styrke den studerendes logiske og analytiske tilgang til problemløsning.

I forhold til uddannelsens kompetenceprofil har kurset eksplicit fokus på at:

  • formidle viden om forskellige bevismetoder
  • give kompetencer til at analysere og generalisere algoritmer og problemstillinger, som optræder i forbindelse med software udvikling
  • give færdigheder i at udtrykke sin viden klart og præcist
  • udvikle færdigheder i at beskrive, analysere og løse datalogiske problemstillinger ved anvendelsen af metoder og modelleringsformalismer fra fagets kerneområder og dets matematiske støttediscipliner


Målbeskrivelse
For at opnå kursets formål er det læringsmålet for kurset, at den studerende demonstrerer evnen til at:
  • formalisere udsagn på en korrekt logisk måde
  • udtrykke sig kort og præcist
  • bevise påstande ved hjælp af forskellige bevismetoder såsom direkte bevis, kontrapositionsbevis, modstridsbevis og induktionsbevis
  • anvende begreber, resultater og teknikker lært i kurset på konkrete problemer, kendte såvel som nye
  • argumentere fyldestgørende for sine løsninger
Indhold
Kurset indeholder følgende faglige hovedområder:
  • Logik
  • Mængder
  • Funktioner
  • Bevisteknikker: direkte bevis, kontrapositionsbevis, modstridsbevis og induktionsbevis
  • Talteori, herunder delelighed og kongruenser
  • Anvendelser af talteori såsom kryptering
  • Matricer: addition, multiplikation og transponering
  • Relationer, herunder forskellige repræsentationer af relationer, lukninger, partielle ordninger og ækvivalensrelationer
Litteratur
    Meddeles ved kursets start.


Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).

Forudsætningsprøver
Ingen

Eksamen- og censurform:
  1. Obligatoriske opgaver. Intern bedømmelse ved underviser, bestået/ikke-bestået (0 ECTS, 15014912). Alle hjælpemidler tilladt.
  2. Skriftlig eksamen. Bedømmes ved ekstern censur efter 7-trinsskalaen (5 ECTS, 15014902). Alle hjælpemidler bortset fra internet tilladt.
Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 24 timer
Træningsfase: 24 timer, heraf:
 - Eksaminatorie: 24 timer

Aktiviteter i studiefasen

Undervisningsform
Aktiviteter i studiefasen:
  • Løse opgaver
  • Læse den tildelte literatur
  • Øve at anvende den tilegnede viden


Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren. Dog altid på Engelsk ved deltagelse af internationale studerende.

Bemærkninger
Det samlæses med Diskrete Metoder til Datalogi.

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Denne kursusbeskrivelse var gyldig fra 1. september 2016 til 31. august 2018.