7 Computermatematik Master's Degree Programs

Kandidatuddannelsen i Bioinformatics for Computational Genomics har til formål at danne kandidater med viden om biologiske systemers molekylære grundlag, biologiske molekylers struktur og funktion i de cellulære processer, teknologierne og platforme til analyse af genomer, værktøjerne til bioinformatik og genomisk analyse, og de statistiske og beregningsmæssige metoder til analyse af biomolekylære data.

Institut for Informatik tilbyder kandidatkurser i datalogi. Derudover tilbydes en fælles mediekunst og datalogi grad af Institut for Datalogi og Institut for Kommunikation og Kunst. Institut for Datalogi uddanner studerende inden for datalogi.

Programmet Computational Mathematics er helliget udvikling, analyse, algoritmisering og implementering af metoder til computerbehandling af matematiske modeller. Det repræsenterer en overgang fra teoretisk matematik til praktisk brugbare resultater. Der lægges vægt på kreativ brug af informationsteknologi og produktion af programmeringsapplikationer. En integreret del af programmet er verifikation af anvendte metoder. Studiet er en naturlig fortsættelse af bacheloruddannelsen Almen matematik, gren Numerisk analyse og matematisk modellering ved Det Matematiske og Fysiske Fakultet ved Charles University. Uddannelsen Computational Mathematics er tilrettelagt på en sådan måde, at den giver mulighed for også at optage studerende, der har afsluttet et bachelorstudium i matematik fra en anden gren eller på et andet universitet, med krav om, at de gennemfører den manglende viden. De studerende opnår først kendskab til den moderne teori om partielle differentialligninger, lineær og ikke-lineær funktionsanalyse, finite element metode, grundlæggende om numerisk software og metoder til matrixberegninger. Senere vil de studerende vælge valgfag, især efter emnet for deres kandidatafhandling.

Formålet med studiet "Datalogi – Sprogteknologier og datalingvistik" er at forberede kandidaterne til forskning inden for naturlig sprogbehandling og udvikling af applikationer, der beskæftiger sig med både skriftsprog og talesprog. Eksempler på sådanne applikationer er systemer til informationssøgning, informationsudtrækning og -opsummering, maskinoversættelse, tekstanalyse, grammatikkontrol, automatisk talegenkendelse, systemer til talt dialog og talesyntese. Der lægges vægt på en dyb forståelse af formelle matematiske og algoritmiske fundamenter og deres praktiske anvendelighed i opgaver inden for naturlig sprogbehandling. Studerende på programmet har mulighed for at fokusere enten på teoretiske aspekter af formel beskrivelse af naturlige sprog eller på den teknologiorienterede side (state-of-the-art metoder inden for statistik, maskinlæring og deep learning) til sprogdatabehandling.

Computerlingvistik er et tværfagligt område, der omhandler brugen af computere til at behandle eller producere menneskeligt sprog. Sprogvidenskaben bidrager til dette felt med en forståelse af sprogdatas særlige egenskaber og giver også teorier og beskrivelser af sprogets struktur og anvendelse. Beregningslingvistik er i høj grad en anvendt disciplin, der beskæftiger sig med praktiske problemer. Typiske anvendelser omfatter naturlig sprogbehandling, maskinoversættelse (oversættelse fra et sprog til et andet), talesyntese, taleproduktion, informationssøgning (finding af relevante dokumenter eller dele af dokumenter i store tekstsamlinger), kognitiv modellering og generelt næsten alt, der beskæftiger sig med naturlige sproggrænseflader.