13 1MA302 Automatateori DV1 4 A D, M 1TD442 Algoritmer och datastrukturer DV1 6 A D

Transkript

1 4.2 Årskurs 1 Studierna inleds med en frivillig introduktion till utbildningen omfattande två veckor. Därefter enligt nedanstående lista. Period Kurskod Kursnamn Poäng Nivå Ämne 11 1MA316 Introduktionskurs i matematik 2 A M 1MA300 Algebra DV1 5 A M 1DL119 Introduktionskurs i datavetenskap (2) A D 2AD524 Programmeringsmetodik DV1 (2) A D 12 1DL119 Introduktionskurs i datavetenskap, forts (1)3 A D 2AD524 Programmeringsmetodik DV1, forts (4) 6, A D 1MA314 Logik och bevisteknik DV1 5 A M 13 1MA302 Automatateori DV1 4 A D, M 1TD442 Algoritmer och datastrukturer DV1 6 A D 14 1MA308 Matematisk analys DV1 5 A M 1DT157 Digitalteknik och datorarkitektur DV1 5 A D, T 4.3 Årskurs DT151 Datorsystem DV1, del 1 (7.5) B D, T 1DL024 Algoritmer och datastrukturer II 6 Grundl D 22 1DT007 Programmeringsteori 10 Grundl D 1DT151 Datorsystem DV1, del 2 (7.5) 15 B D,T 23 1TD302 Teknisk databehandling DV1, del 1 (10) B D, M 2HR117 Datajuridik och handelsrätt 5 Grundl Handelsrätt 24 1TD302 Teknisk databehandling DV1, del 2 (5) 15 B D, M 1DL300 Databasteknik I 5 Grundl D 1DL400 Databasteknik II 5 Avanc D 1

2 4.4 Årskurserna 3 och 4 I årskurs 3 börjar programmets fördjupningsblock med fyra olika profiler som presenteras nedan. I årskurs 3-4 väljer studenterna kurser som kan kombineras fritt, förutsatt att förkunskaperna till kurserna uppfylls. I tabellerna nedan anges kursernas omfattning i högskolepoäng (hp). Om kursen ges över flera perioder anges omfattningen inom den aktuella perioden inom parentes och den totala omfattningen utan. Kursens område anges med någon av förkortningarna D = datavetenskap, M = matematik, T = teknik, MDI = Människa-datorinteraktion, TBV = Tillämpad beräkningsvetenskap, I = Idé- och lärdomshistoria, S = Språkteknologi. Observera att profilinnehållet ensamt inte nödvändigtvis innehåller tillräckligt många kurser för att fylla en heltid (60hp per läsår) Profil datorsystem I profilen studerar man bl.a. olika aspekter hos datorsystem, t.ex. distribution, realtidsegenskaper, tillförlitlighet och effektivitet. Centrala kurser är: Datakommunikation, Distribuerade system w och Realtidssystem. Studenter som följer profilen får en gedigen teoretisk grund i metoder för konstruktion av datorsystem, samt kännedom om flera för svensk industri centrala klasser av tillämpningar. Profilen ger dessutom en bra grund för forskarstudier. Profilkurser datorsystem Period Kurskod Kursnamn Hp Nivå Område 31 1DL021 Kompilatorteknik I 7.5 C D, T 1DT008 Realtidssystem 7.5 D D,T 32 1DT014 Datakommunikation I 7.5 C D, T 33 1DT018 Distribuerade system 7.5 D D, T 1DT009 Säkra datorsystem 7.5 D D, T 34 1DT015 Datakommunikation II 7.5 D D, T 1DT026 Kryptologi eller 7.5 D D, T 1DT022 Maskininlärning 7.5 D D, T 41 1MD016 Människa-datorinteraktion 5 A D 1DT011 Projekt DV (7.5) D D, T 42 1DT011 Projekt DV, forts (15)22.5 D D, T Profil människa-datorinteraktion Flertalet tekniska system ska samverka med människor. Kraven på utformningen av gränssnitten mellan olika system och människor kommer i framtiden att bli allt större, t ex inom processtyrning och annat datorstött arbete. Effektivitet, säkerhet, användbarhet och arbetsmiljö beror starkt av hur konstruktörerna kan förstå problemen samt utforma och anpassa de tekniska systemen till människors och arbetssituationers krav. Profilen människa-datorinteraktion ger verktygen för att angripa den problematiken. Profilkurser människa-datorinteraktion 2

3 31 1MD016 Människa-datorinteraktion 5 A D 1MD013 Kognitiv psykologi 5 A D,psykologi 32 1MD012 Medicinsk informatik 5 D D, T 33 1MD000 Användarcentrerad systemdesign 5 D D, MDI, T 1MD001 Avancerad interaktionsdesign 5 D MDI 1MD002 Gränssnittsprogrammering I 5 D D, MDI, T 34 1MD003 Gränssnittsprogrammering II 5 D D, MDI, T 1MD004 IT, etik och organisation 5 D D, MDI 1MD018 Människor i komplexa system 5 D D, MDI, T 41 1DT011 Projekt DV (7.5) D D, T 42 1DT011 Projekt DV, forts (15) 22.5 D D, T Profil programvarusystem Profilen handlar om allt som krävs för att bygga stora programvarusystem. Olika stilar av programmering (objektorienterad, logisk, parallell) ingår, samt hur man använder färdiga komponenter (t.ex. databaser) och projekthantering (software engineering). Profilen ger en bra grund för forskarstudier kring programmeringsspråk och kompilering. Profilkurser programvarusystem 31 1DL021 Kompilatorteknik I 7.5 C D, T 1DL022 Logikprogrammering 7.5 D D 32 1DT014 Datakommunikation I 7.5 C D, T 33 1DL004 Programvaruteknik (5) C D 1DL005 Programmeringsmetodik DV2 (2.5) D D, T 1TD203 Programvaruarkitektur med Java NV1 eller 7.5 D D 1DL030 Algoritmer och datastrukturer III 7.5 D D 34 1DL004 Programvaruteknik, forts. (2.5) 7.5 C D 1DL005 Programmeringsmetodik DV2, forts (5) 7.5 D D, T 1DL017 Bevisbart korrekt programvara(*) eller 7.5 D D, T 1DT022 Maskininlärning 7.5 D D, T 41 1MD016 Människa-datorinteraktion 5 A D 1DT011 Projekt DV (7.5) D D 42 1DT011 Projekt DV, forts (15)22.5 D D 43 1DL016 Kompilatorteknik II (*) 7.5 D D,T 3

4 4.4.4 Profil teoretisk datavetenskap I profilen studerar man bl.a. metoder för analys och verifikation av algoritmer, kryptografi, optimering och avancerade numeriska beräkningar samt teoretiska modeller för program och nätverk. Fördjupade kurser i matematik och logik ingår som centrala moment. De som genomgår profilen får en gedigen teoretisk grund i datavetenskap och blir väl rustade för forskarstudier. Profilkurser teoretisk datavetenskap 31 1MS005 Sannolihet och statistik 5 B M 1DL022 Logikprogrammering 7.5 D D 32 1DT014 Datakommunikation I 7.5 C D, T 33 1DL310 Semantik för programmeringsspråk 5 D D 1DT019 Verifieringsteknik 7.5 D D, T 34 1DL017 Bevisbart korrekt programvara(*) 7.5 D D, T 1MA017 Flervariabelanalys, allmän kurs 5 B M 1DT026 Kryptologi 7.5 D D, T 41 1TD183 Optimeringsmetoder NV1 eller 7.5 D D,TBV 1DL023 Villkorsteknik för lösning av kombinatoriska problem (*) 7.5 D D, T 1MA058 Tillämpad logik (5) D M 42 1DL025 Informationsutvinning 7.5 D D 1MA058 Tillämpad logik, forts. (5) 10 D M Kurser inom programmet utöver profilkurserna 31/41 1MA007 Algebraiska strukturer (5) C M 1TD043 Beräkningsvetenskap NV2 7.5 D D, M, TBV 1MA028 Logik II (5) C M 5LN424 Introduktion till språkteknologi (2.5) A S 1TD389 Vetenskaplig visualisering 5 D D 32/42 1MA007 Algebraiska strukturer, forts (5) 10 C M 1MD020 Avancerade visuella gränssnitt 5 D D,T,MDI 1DT010 Datakommunikation III 7.5 D D, T 1DT013 Datorarkitektur II 7.5 D D, T 1MA012 Diskret matematik 5 B M 5LN424 Introduktion till språkteknologi, forts. (5) 7.5 A S 1MA028 Logik II, forts. (5) 10 C M 2FE025 Företagsekonomi baskurs A/B 5 AB FEK 33/43 1TD388 Datorgrafik 10 D D, TBV 4

5 1DL018 Elektronisk handel och säkerhet 7.5 D D 1TD379 Högprestandaberäkningar och programmering 7.5 D D, TBV 1MA020 Kombinatorik 5 B M 1MA047 Komplexitetsteori (5) D M 34/44 1MA006 Algebra II 5 B M 1TD377 Datoriserad bildanalys NV1 7,5 D D 5LH260 Idé- och vetenskapshistoria distans 7.5 A I 1IT140 Informations- och kodningsteori (*) 6 C M 1MA047 Komplexitetsteori, forts. (5) 10 D M 1TD378 Programmering av parallelldatorer NV1 7.5 D D, TBV 5