Datorsystem I
15.0 HPModul 1: Digitalteknik (3 hp)
Digitalteknik handlar om analys och konstruktion av digitala nät. I modulen behandlas grundläggande moment som talsystem, boolesk algebra, grindar och kombinatoriska nät (med normalformer och karnaughdiagram) samt vippor och sekvensnät.
Modul 2: Datorsystemteknik (6 hp)
I modulen behandlas datorns uppbyggnad och funktionssätt samt gränssnittet mellan program- och maskinvara. Områden som ingår är datarepresentation och aritmetik, assemblerprogrammering, minnessystem (med cacheminnen), moderna processorers uppbyggnad och funktion samt avbrottshantering. Även parallella processorer, som GPU:er, ingår.
Modul 3: Teoretisk datalogi (6 hp)
I modulen behandlas grunderna i automatateori, formella språk, beräkningsbarhets- och komplexitetsteori. Kursen är central för att förstå en dators möjligheter och begränsningar samt varför vissa problem är beräkningsmässigt omöjliga och andra svåra eller lätta. Inom automatateori och formella språk behandlas reguljära språk (med uttryck och ändliga automat), kontextfria språk (med grammatik och pushdown-automat) samt pumpsatsen. Inom beräkningsbarhetsteori behandlas Turingmaskiner, Church-Turing-hypotesen samt språks (problems) avgörbarhet. I den avslutande delen, komplexitetsteori, behandlas komplexitetsklasser och algoritmers tidskomplexitet. Även användning av AI för lösning av svåra problem (NP-problem) diskuteras.
Digitalteknik handlar om analys och konstruktion av digitala nät. I modulen behandlas grundläggande moment som talsystem, boolesk algebra, grindar och kombinatoriska nät (med normalformer och karnaughdiagram) samt vippor och sekvensnät.
Modul 2: Datorsystemteknik (6 hp)
I modulen behandlas datorns uppbyggnad och funktionssätt samt gränssnittet mellan program- och maskinvara. Områden som ingår är datarepresentation och aritmetik, assemblerprogrammering, minnessystem (med cacheminnen), moderna processorers uppbyggnad och funktion samt avbrottshantering. Även parallella processorer, som GPU:er, ingår.
Modul 3: Teoretisk datalogi (6 hp)
I modulen behandlas grunderna i automatateori, formella språk, beräkningsbarhets- och komplexitetsteori. Kursen är central för att förstå en dators möjligheter och begränsningar samt varför vissa problem är beräkningsmässigt omöjliga och andra svåra eller lätta. Inom automatateori och formella språk behandlas reguljära språk (med uttryck och ändliga automat), kontextfria språk (med grammatik och pushdown-automat) samt pumpsatsen. Inom beräkningsbarhetsteori behandlas Turingmaskiner, Church-Turing-hypotesen samt språks (problems) avgörbarhet. I den avslutande delen, komplexitetsteori, behandlas komplexitetsklasser och algoritmers tidskomplexitet. Även användning av AI för lösning av svåra problem (NP-problem) diskuteras.
Fördjupningsnivå:
G1F (har mindre än 60 hp kurs/er på grundnivå som förkunskapskrav)
Utbildningsnivå:
Grundnivå
Behörighetskrav:
Registrerad på Programmering och datastrukturer 15 hp och Matematik för artificiell intelligens I 15 hp. Motsvarandebedömning kan göras.