DV3: Beräkningar och språk 7,5 hp
Om kursen
Kursen ger en introduktion till formella språk och beräkningsteori.
Formella språk är grundläggande för vår förståelse av hur datorer utför beräkningar och oumbärliga redskap för att programmera datorer. Kursen belyser både teoretiska aspekter på och praktiska tillämpningar av formella språk. Vi studerar reguljära och kontextfria språk, deras representationer, egenskaper, och algoritmer för att arbeta med dem. Detta förankras med praktiska uppgifter inom textmatchning och parsning.
Vi behandlar sedan beräkningsteori med Turingmaskinen som en universell beräkningsmodell för att definiera och diskutera avgörbarhet, stopproblemet, och relaterade begrepp. Vi diskuterar Church-Turing-tesen, tidskomplexitet, och hur komplexitetsklasserna P och NP används.
Under kursens gång kommer aktuella forskningsfrågor inom området att beskrivas och diskuteras.
Denna kurs är en del av ett program
Den här kursen innehåller tillfällen som är en del av ett program på Umeå universitet. Du kan bara söka kursen om du går programmet. Information om ansökningstider och vad som gäller för dig får du från din institution.
Anmäl dig
Kontakta oss
Ditt meddelande går till Infocenter som ser till att det hamnar hos rätt person – så att du får ett så bra och relevant svar som möjligt.