Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
Karlstad University
Theoretical Computer Science
The course deals with the fundamentals of automata theory, formal languages, computability and complexity theory. The course is central to the understanding of the potentials and limitations of the computer and why some problems are not computable whereas others are difficult or easy. The course comprises the follow…
- Högskoleutbildning
- Uppgift saknas
- 9 november 2026
- Karlstad
- Uppgift saknas
- 50 %
Översikt
The course deals with the fundamentals of automata theory, formal languages, computability and complexity theory. The course is central to the understanding of the potentials and limitations of the computer and why some problems are not computable whereas others are difficult or easy. The course comprises the following components: Automata theory and formal languages: -Regular languages and expressions and finite automata -Context-free languages and grammars and pushdown automata -Pumping lemma Computability theory: -Turing machines -Church-Turing thesis -Decidability of problems/languages -Halting problem -Recursion theorem (linking to computer virus) Complexity theory: -Complexity classes -Time complexity of algorithms -Cryptography
Antagningspoäng
Behörighet
Programming techniques (7.5 credits). Discrete mathematics (7.5 credits), or Software development methodology (7.5 credits). Equivalence assessment may be made.
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2026-11-09
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.kau.dvga17.55045.20262
- Senaste kontroll
- 2026-09-23T10:37:50.445791+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
Karlstad University
Anordnare för det publicerade utbildningstillfället.
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.kau.dvga17.55045.20262
- Tillfällesidentitet hos källan
- e.uoh.kau.dvga17.55045.20262
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- DVGA17
- Ändringstid enligt källan
- 2026-03-03T14:13:59
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.