This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
Umeå University
CS3: Computations and languages
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…
- Higher education
- Information unavailable
- 31 August 2026
- Information unavailable
- Information unavailable
- 50 %
Overview
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.
Admission scores
Entry requirements
null
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2026-08-31
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.umu.5dv208.5700w.20262
- Last checked
- 2026-09-23T10:39:35.037285+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.umu.5dv208.5700w.20262
- Offering identity in the source
- e.uoh.umu.5dv208.5700w.20262
- Education-form source code
- HS
- Education code in the source
- 5DV208
- Change time according to the source
- 2026-02-03T14:09:24
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.