Aktuel periode Aktuel periode Aktuel periode Aktuel periode Aktuel periode 2017 Efterår 2016 Efterår 2015 Efterår 2014 Efterår
Se studieforløb hvor kurset indgår Se overgangsordninger
Dansk English

DM549: Diskrete Metoder til Datalogi (10 ECTS)

STADS: 15015101

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 Tirsdag 16-18 U1 37-38
Fælles I Tirsdag 14-16 U55 39-41,43-50
Fælles I Onsdag 14-16 U45 36
Fælles I Onsdag 08-10 U47 38,40
Fælles I Torsdag 12-14 U20 39,49-50
Fælles I Torsdag 12-14 U140 45-46
D1 TE Mandag 14-16 U52 41,47
D1 TE Tirsdag 10-12 U146 51
D1 TE Onsdag 12-14 U47 39
D1 TE Onsdag 12-14 U23a 40
D1 TE Onsdag 12-14 U49c 41,47
D1 TE Onsdag 12-14 U145 46,49
D1 TE Onsdag 12-14 U20 50
D1 TE Onsdag 12-14 U154 51
D1 TE Torsdag 10-12 U26a 43
D1 TE Torsdag 14-16 U145 44-46,48
D1 TE Torsdag 14-16 U146 50
D1 TE Fredag 10-12 U31a 37-38
D1 TE Fredag 10-12 U146 39
D1 TE Fredag 10-12 U24a 40
D2 TE Tirsdag 12-14 U147 37-41
D2 TE Tirsdag 10-12 U48 46
D2 TE Onsdag 10-12 U157 43
D2 TE Onsdag 10-12 U154 44,46,48-51
D2 TE Onsdag 10-12 U146 47
D2 TE Torsdag 14-16 U146 39
D2 TE Torsdag 12-14 U157 40
D2 TE Torsdag 14-16 U157 41,45
D2 TE Torsdag 14-16 U156 50
D2 TE Torsdag 10-12 U146 51
D2 TE Fredag 08-10 U146 47
Vis hele skemaet
 Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. Undervises fælles med Diskret Matematik og Introduktion til matematiske metoder og DM535 Diskrete metoder til datalogi.

Indgangskrav:
Ingen

Faglige forudsætninger:
Kurset kan ikke følges hvis DM535 er bestået, eller hvis DM535 indgår obligatorisk i din studieordning.

Kursusintroduktion
Kurset skal formidle basale teknikker i at arbejde med matematiske begreber, der er vigtige inden for datalogi. Dette er nødvendigt for mange efterfølgende kurser i datalogi.

Forventet læringsudbytte
Efter kurset forventes den studerende at kunne:

  • 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.
Emneoversigt
  • Logik
  • Mængder og kardinalitet
  • Funktioner
  • Bevisteknikker: direkte bevis, kontrapositionsbevis, modstridsbevis
    og induktionsbevis
  • Talteori, herunder delelighed, primtal 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
  • Introduktion til grafer og træer
  • Rækker og følger, herunder konvergens og approksimation af funktioner
Litteratur
    Meddeles ved kursets start.


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

Forudsætningsprøver
Ingen

Eksamen- og censurform:
  1. Obligatoriske opgave, bedømmes ved intern censur, bestået/ikke bestået. (15015112)
  2. Skriftlig eksamen efter 7-trinsskalaen, bedømmes ved ekstern censur (10 ECTS). (15015102)
Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 42 timer
Træningsfase: 42 timer, heraf:
 - Eksaminatorie: 42 timer

Aktiviteter i studiefasen Studiefase: 20 timer

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

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

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