DM535: Diskrete metoder til datalogi (5 ECTS)

STADS: 15010901

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 Onsdag 12-14 U48a 36-41,43
Fælles I Onsdag 12-14 U1 45,48-49
Fælles I Onsdag 12-14 U150 46
Fælles I Onsdag 12-14 U42 47,50
S7 TE Tirsdag 14-16 U81 37-41,43,45-51
S17 TE Torsdag 14-16 U81 37-41,43,45-51
T1 TE Onsdag 08-10 U31a 37-41,43,45-51
T2 TE Onsdag 14-16 U69 37,39-41,43
T2 TE Onsdag 14-16 U66 38,46,51
T2 TE Onsdag 14-16 U7 45,48-50
T2 TE Onsdag 14-16 U49b 47
Vis hele skemaet
Vis personligt skema for dette kursus.

Indgangskrav:
Ingen

Faglige forudsætninger:
Kurset kan ikke følges hvis DM549 er bestået, eller hvis DM549 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.

Kompetencer
Analytiske kompetencer

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

  • formalisere udsagn på en korrekt logisk måde.
  • bevise påstande ved hjælp af forskellige bevismetoder såsom direkte bevis, kontrapositionsbevis og induktionsbevis.
  • arbejde med begrebet en mængde og operationer på mængder, og med begrebet funktioner.
  • arbejde med basale begreber inden for talteori såsom delelighed og største fælles divisor.
  • løse systemer af lineære kongruenser.
  • arbejde med basale egenskaber ved matricer.
  • arbejde med relationer, inklusive repræsentere relationer, finde lukningen af en relation og benytte konceptet en ækvivalensrelation.
  • argumentere for skridtene i opgaveløsningerne.
  • anvende ovenstående teknikker, resultater og begreber på konkrete eksempler og i nye situationer.
Emneoversigt
  • Logik, mængder og funktioner,
  • bevisteknikker,
  • induktionsbeviser,
  • tal og deres repræsentation,
  • Euklids algoritme,
  • den kinesiske restklassesætning,
  • matricer,
  • relationer
Litteratur
Der er i øjeblikket ikke angivet nogle materialer for kurset.

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

Forudsætningsprøver
Ingen

Eksamen- og censurform:
  1. Obligatorisk opgaver. Bestået/ikke bestået med intern bedømmelse (15015112).
  2. Skriftlig eksamen efter 7-trinsskalaen med ekstern censur, 5 ECTS (15015102)

Reeksamen i samme eksamenstermin eller i umiddelbar forlængelse heraf.



Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 26 timer
Træningsfase: 26 timer, heraf:
 - Eksaminatorie: 26 timer

Aktiviteter i studiefasen Studiefase: 17 timer

Nogle af studiefasetimerne bruges til opgave-vejledning.

Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren.

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Dette er den nyeste version af en kursusbeskrivelse, som trådte i kraft den 1. sep 2013.