Teoretisk datalogi
7.5 HPKursen 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
Kursen ingår i följande program
- Civilingenjör Datateknik (läses år 2)