Datalogiens matematiske grundlag

2018/2019

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
  • kunne læse pseudoalgoritmer og implementere disse i et passende programmeringssprog (eksempelvis Maple)
  • kunne designe algoritmer til løsning af simple problemstillinger

Undervisningsform

Undervisningen baserer sig primært på en kombination af forelæsninger og opgaveregningssessioner

Omfang og forventet arbejdsindsats

Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.

Eksamen

Prøver

Prøvens navnDatalogiens matematiske grundlag
Prøveform
Mundtlig
Mundtlig eksamen med udgangspunkt i opgaver, der har været arbejdet med i kurset
ECTS5
Bedømmelsesform7-trins-skala
CensurIntern prøve
VurderingskriterierSom angivet i Fakultets vurderingskriterier
http:/​/​www.tech.aau.dk/​digitalAssets/​337/​337434_vurderingskriterier.pdf

Yderligere informationer

Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854

 

Fakta om modulet

Engelsk titelThe Mathematical Foundation of Computer Science
ModulkodeDSNBAITFB202
ModultypeKursus
Varighed1 semester
SemesterForår
ECTS5
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævnet for Datalogi
FakultetDet Tekniske Fakultet for IT og Design