NDAB19002U Diskret Matematik og formelle sprog (DMFS)
Discrete Mathematics and Formal Languages
Bacheloruddannelsen i datalogi-økonomi
Bacheloruddannelsen i machine learning og
datavidenskab
Kurset giver en introduktion til diskret matematik, algoritmer, datastrukturer 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.
Viden om
- grundlæggende matematisk metode
- logik, elementær talteori og tælleproblemer
- mængder, relationer, og funktioner
- asymptotisk tids- og pladskompleksitet
- basale datastrukturer (herunder lister, stakke, køer, binære søgetræer) og operationer på disse
- grafer og træer og relaterede algoritmer
- 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
- analysere fordele og ulemper ved udvalgte algoritmer og datastrukturer
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
Offentliggøres på kursets Absalon-side ved kursusstart.
- Kategori
- Timer
- Forelæsninger
- 27
- Forberedelse (anslået)
- 107
- Øvelser
- 43
- Eksamensforberedelse
- 25
- Eksamen
- 4
- I alt
- 206
Som meritstuderende - klik her!
Som enkeltfags-studerende (efter- og videreuddannelse) - klik her!
- Point
- 7,5 ECTS
- Prøveform
- Skriftlig prøve, 4 timer med opsyn.Med hjælpemidler. Uden internetforbindelse.
- Krav til indstilling til eksamen
Det er en forudsætning for at kunne gå til eksmaen at den studerenede har fået godkendt 4-6 obligatoriske opgaver.
- Hjælpemidler
- Alle hjælpemidler tilladt
- Bedømmelsesform
- 7-trins skala
- Censurform
- Ingen ekstern censur
flere interne bedømmere
- Reeksamen
Mundtlig eksamen uden forberedelse i fuldt pensum. 30 minutter inklusive votering. Skriftlige hjælpemidler (notater og bøger mv.) er tilladt.
Kriterier for bedømmelse
Se målbeskrivelsen.
Kursusinformation
- Sprog
- Dansk
- Kursuskode
- NDAB19002U
- Point
- 7,5 ECTS
- Niveau
- Bachelor
- Varighed
- 1 blok
- Placering
- Blok 3
- Skemagruppe
- C
- Kursuskapacitet
- Ingen begrænsning.
- Kurset udbydes også til efter- og videreuddannelse
- Studienævn
- Studienævn for Matematik og Datalogi
Udbydende institut
- Datalogisk Institut
Udbydende fakultet
- Det Natur- og Biovidenskabelige Fakultet
Kursusansvarlige
- Jakob Nordström (jn@di.ku.dk)