Teoretisk datalogi

Kursen ger en introduktion till formella språk och automatateori. Kursen behandlar begreppen ändliga automater, stackautomater och Turingmaskiner, determinism och icke-determinism, grammatiker samt beräkningsbarhet.

Fördjupningsnivå: G1F (har mindre än 60 hp kurs/er på grundnivå som förkunskapskrav)

Utbildningsnivå: Grundnivå

Behörighetskrav: Programmeringsteknik 7,5 hp och Programutvecklingsmetodik 7,5 hp. Varit registrerad på Diskret matematik 7,5 hp. Motsvarandebedömning kan göras.

Urval: 1) programförtur 2) akademiska poäng 3) övriga sökande