Diskret Matematik og Formelle Sprog (DMFS)

Kursusindhold

Kurset giver en introduktion til diskret matematik og formelle sprog. Fokus er på matematisk metode og matematiske værktøjer, som bruges i løsningen af datalogiske problemstillinger. Emner der dækkes inkluderer logik, elementær talteori og tælleproblemer, mængder og relationer, samt funktioner. Fokus i delen omkring formelle sprog omhandler systematisk beskrivelse og analyse af formelle sprog og grammatikker, herunder områder som regulære sprog og tilstandsmaskiner.

Engelsk titel

Discrete Mathematics and Formal Languages

Uddannelse

Bacheloruddannelsen i machine learning og datavidenskab
Bacheloruddannelsen i datalogi og økonomi
 

Målbeskrivelse

Viden om

  • grundlæggende matematisk metode
  • logik, elementær talteori og tælleproblemer
  • mængder, relationer, og funktioner
  • asymptotisk tids- og pladskompleksitet
  • grafer og træer
  • tilstandsmaskiner
  • regulære sprog
  • formelle sprog og grammatikker

 

Færdigheder i

  • at formulere simple matematiske argumenter og beviser, samt identificere relevante matematiske værktøjer blandt kursets emner til løsning af datalogiske problemstillinger
  • at analysere kombinatoriske problemstillinger såvel ved brug af tælleargumenter som algebraiske operationer
  • at bestemme køretid herunder gøre brug af asymptotisk notation til at angive størrelsesordenen af en funktion     

 

Kompetencer til 

  • selvstændigt at løse problemer inden for udvalgte videnspunkter fra listen ovenfor
  • at udvælge metoder og teoridele til løsning af problemer inden for kursets vidensområde, herunder specielt udføre formelle logiske operationer på matematiske udsagn

Kurset vil blande forelæsninger, klasseundervisning, gruppeøvelser og individuelle opgaver.

Offentliggøres på kursets Absalon-side ved kursusstart.

Kompetencer svarende til kurserne "Programmering og problemløsning" samt MatIntroNat/MatIntroKem.

Løbende feedback i undervisningsforløbet
ECTS
7,5 ECTS
Prøveform
Skriftlig prøve, 4 timer med opsyn.
4 timers skriftlig eksamen med hjælpemidler. Uden internetforbindelse.
Hjælpemidler
Alle hjælpemidler tilladt
Bedømmelsesform
7-trins skala
Censurform
Ingen ekstern censur
flere interne bedømmere
Kriterier for bedømmelse

Se målbeskrivelsen.

Enkeltfag dagtimer (tompladsordning)

  • Kategori
  • Timer
  • Forelæsninger
  • 27
  • Øvelseshold
  • 43
  • Forberedelse
  • 107
  • Eksamen
  • 4
  • Eksamensforberedelse
  • 25
  • Total
  • 206