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
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. Undervises fælles med DM547 Diskret Matematik, MM537 Introduktion til matematiske metoder og DM549 Diskrete metoder til datalogi (10 ECTS)

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

• Meddeles ved kursets start.: .

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.