2014 Efterår 2013 Efterår 2012 Efterår
Se studieforløb hvor kurset indgår Se overgangsordninger
Dansk English

DM535: Diskrete metoder til datalogi (5 ECTS)

STADS: 15012901

Niveau
Bachelorkursus

Undervisningsperiode
Kurset er placeret i efterårssemesteret.
1.-2. kvartal.

Ansvarlige undervisere
Email: lenem@imada.sdu.dk

Skemaoplysninger
Hold Type Dag Tidsrum Lokale Uger Kommentar
Fælles I Mandag 14-16 U9 37
Fælles I Tirsdag 10-12 U140 36,38-41,45-50
S7 TE Torsdag 08-10 U24 36-41,45-51
S17 TE Torsdag 10-12 U50a 36
S17 TE Torsdag 12-14 U155 37-41
S17 TE Torsdag 12-14 U49 45-51
Vis hele skemaet
 Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. 1.+2. kvartal.

Indgangskrav:
Ingen

Faglige forudsætninger:
Ingen.

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 komptencer

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 (15012912)
  2. Skriftlig eksamen efter 7-trinsskalaen med ekstern censur, 5 ECTS (15012902)

Reeksamen efter 4. Kvartal



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

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

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Denne kursusbeskrivelse var gyldig fra 1. september 2012 til 31. august 2013.