Theoretical Computer Science
Karlstad University
Karlstad
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Theoretical Computer Science
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: DVGA17
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
Behörighet
Programming techniques (7.5 credits). Discrete mathematics (7.5 credits), or Software development methodology (7.5 credits). Equivalence assessment may be made.
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.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2026-03-03T14:13:59