Till innehåll på sidan
KTH:s logotyp

Kurs- och programkatalogen

  • Student
  • Alumn
  • Anställd
  • International website

Öppna/stäng mobilmenyn

  • Hem
  • Utbildning
  • Forskning
  • Samverkan
  • Om KTH
  • Bibliotek
  1. KTH
  2. Student på KTH
  3. Kurs- och programkatalogen
  4. EECS/Teoretisk datalogi
This page in English

Kurser

EECS/Teoretisk datalogi

Kurskod Kursnamn Omfattning Utbildningsnivå
FDD3501 Aktuell forskning inom beviskomplexitet 9,0 hp Forskarnivå
FJT3382 Analys av Booleska funktioner 7,5 hp Forskarnivå
FDD3390 Approximationsalgoritmer 6,0 hp Forskarnivå
FDD3372 Automater och språk 6,0 hp Forskarnivå
FDD3456 Avancerade objektorienterade system 7,5 hp Forskarnivå
FDD3462 Datalogididaktik 7,5 hp Forskarnivå
FDD3008 Distribuerade algoritmer 6,0 hp Forskarnivå
FDD3452 Formella metoder 7,5 hp Forskarnivå
FDD3024 Forskningsförberedande kurs i programmeringsspråk och formella metoder 10,0 hp Forskarnivå
FDD3344 Integritetsskyddande teknologier 7,5 hp Forskarnivå
FDD3461 Interaktiv teorembevisning 4,5 hp Forskarnivå
FDD3402 Kombinatorisk optimering 6,0 hp Forskarnivå
FDD3502 Kommunikationskomplexitet 6,0 hp Forskarnivå
FDD3445 Komplexitetsteori 7,5 hp Forskarnivå
FDD3381 Kvadratsumme-seminarium 7,5 hp Forskarnivå
FDD3335 Kvantberäkning 6,0 hp Forskarnivå
FDD3019 Läskurs i datalogi för doktorander 9,0 hp Forskarnivå
FDD3016 Läskurs i datalogi för doktorander 1,5 hp 1,5 hp Forskarnivå
FDD3017 Läskurs i datalogi för doktorander 3 hp 3,0 hp Forskarnivå
FDD3018 Läskurs i datalogi för doktorander 6 hp 6,0 hp Forskarnivå
FDD3459 Mjukvaru pålitlighet 9,0 hp Forskarnivå
FDD3457 Programsemantik och programanalys 6,0 hp Forskarnivå
FDD3511 Seminariekurs i formella metoder och cybersäkerhet, steg 1 3,0 hp Forskarnivå
FDD3512 Seminariekurs i formella metoder och cybersäkerhet, steg 2 3,0 hp Forskarnivå
FDD3343 Seminariekurs i teoretisk datavetenskap 7,5 hp Forskarnivå
FDD3011 Seminarier i statisk analys 7,5 hp Forskarnivå
FDD3350 Storverk i teoretisk datavetenskap 7,5 hp Forskarnivå
FDD3341 Studier i teoretisk datalogi 2,0 hp Forskarnivå
FDD3013 Summan av kvadrater och heltalsprogrammeringslättnader 6,0 hp Forskarnivå
FDD3006 Temporal logik 4,0 hp Forskarnivå
Kontakt för frågor om utbildning på KTH: Central studievägledning
Teknisk kontakt om denna sida: kopps@kth.se
  • Kurs- och programkatalogen
  • EECS/Teoretisk datalogi
  • Kurser

KTH

  • Utbildning
  • Forskning
  • Samverkan
  • Om KTH
  • Aktuellt
  • Student på KTH
  • Alumni
  • KTH Intranät

Organisation

  • KTH Biblioteket
  • Centrumbildningar
  • Gemensamt verksamhetsstöd

Tjänster

  • Schema
  • Kurs-, program- och gruppwebbar
  • Lärplattformen Canvas
  • Webbmejl

KTH
100 44 Stockholm
+46 8 790 60 00

  • Kontakta KTH
  • Jobba på KTH
  • Press och media
  • Faktura och betalning
  • KTH på Facebook
  • KTH på YouTube
  • Kontakta webbansvarig
  • Om KTH:s webbplats
Till sidans topp