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.
KursusintroduktionKurset 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.
KompetencerAnalytiske kompetencer
Forventet læringsudbytteEfter 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
LitteraturDer er i øjeblikket ikke angivet nogle materialer for kurset.
Kursets hjemmeside
Dette kursus benytter
e-learn (blackboard).
Forudsætningsprøver
Ingen
Eksamen- og censurform:
- Obligatorisk opgaver. Bestået/ikke bestået med intern bedømmelse (15015112).
- 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.