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

Yderligere informationer