Fundamentals of Computer Science

Utbildningsfakta

Kod: 5DV037

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. Utöver detta behandlas ett urval av mer avancerade ämnen, antingen i fördjupning av ovanstående, eller som behandling av aktuella forskningsfrågor.

Behörighet

För behörighet krävs följande kurser (eller motsvarande): \- Introduktion till diskret matematik, 7,5 hp \- Datastrukturer och algoritmer, 7,5 hp

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Fundamentals of Computer Science

  Umeå University

  Startdatum: 18 januari 2027

  Slutdatum: 24 mars 2027

  Studietakt: 50 %