Datalogiens matematiske grundlag

2024/2025

Modulets indhold, forløb og pædagogik

Læringsmål

Viden

  • logik: sammensatte udsagn, ækvivalens, prædikater og kvantorer
  • mængdelære: operationer på mængder, identiteter, potensmængder
  • funktioner. herunder eksponentiel og logaritmefunktionen med grundtal 2 samt deres vækstforhold
  • algoritmer: pseudokode, søge og sorteringsalgoritmer, kontrolstrukturer, løkker, iterative og rekursive algoritmer
  • datastrukturer: Herunder arrays og hægtede lister
  • induktionsbeviser
  • relationer: refleksiv, transitiv, symmetrisk, ækvivalensrelationer

Færdigheder

  • kunne ræsonnere i forbindelse med problemstillinger i logik, mængdelære og teori om relationer
  • kunne udføre simple induktionsbeviser

Kompetencer

  • kunne læse pseudoalgoritmer og implementere disse i et passende programmeringssprog (eksempelvis Maple)
  • kunne designe algoritmer til løsning af simple problemstillinger

Undervisningsform

Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen, jf. § 17.

Omfang og forventet arbejdsindsats

Kursusmodulets omfang er 5 ECTS svarende til 150 timers studieindsats.

Eksamen

Prøver

Prøvens navnDatalogiens matematiske grundlag
Prøveform
Skriftlig eller mundtlig
ECTS5
Tilladte hjælpemidlerDer henvises til den pågældende semesterbeskrivelse/modulbeskrivelse
Bedømmelsesform7-trins-skala
CensurIntern prøve
VurderingskriterierVurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

 

 

Fakta om modulet

Engelsk titelThe Mathematical Foundation of Computer Science
ModulkodeB-MAT2-DMG
ModultypeKursus
Varighed1 semester
SemesterForår
ECTS5
UndervisningssprogDansk og engelsk
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævn for Matematiske Fag
InstitutInstitut for Matematiske Fag
FakultetDet Ingeniør- og Naturvidenskabelige Fakultet