Hoppa till huvudinnehållet
Till KTH:s startsida

Kurser

KurskodKursnamnOmfattningUtbildningsnivå
FDD3006Temporal logik4,0 hpForskarnivå
FDD3008Distribuerade algoritmer6,0 hpForskarnivå
FDD3011Seminarier i statisk analys7,5 hpForskarnivå
FDD3013Summan av kvadrater och heltalsprogrammeringslättnader6,0 hpForskarnivå
FDD3016Läskurs i datalogi för doktorander 1,5 hp1,5 hpForskarnivå
FDD3017Läskurs i datalogi för doktorander 3 hp3,0 hpForskarnivå
FDD3018Läskurs i datalogi för doktorander 6 hp6,0 hpForskarnivå
FDD3019Läskurs i datalogi för doktorander9,0 hpForskarnivå
FDD3024Forskningsförberedande kurs i programmeringsspråk och formella metoder10,0 hpForskarnivå
FDD3029Epistemisk logik6,0 hpForskarnivå
FDD3250Kunskap i spel med imperfekt information6,0 hpForskarnivå
FDD3335Kvantberäkning6,0 hpForskarnivå
FDD3341Studier i teoretisk datalogi2,0 hpForskarnivå
FDD3343Seminariekurs i teoretisk datavetenskap7,5 hpForskarnivå
FDD3344Integritetsskyddande teknologier7,5 hpForskarnivå
FDD3350Storverk i teoretisk datavetenskap7,5 hpForskarnivå
FDD3372Automater och språk6,0 hpForskarnivå
FDD3381Kvadratsumme-seminarium7,5 hpForskarnivå
FDD3390Approximationsalgoritmer6,0 hpForskarnivå
FDD3402Kombinatorisk optimering6,0 hpForskarnivå
FDD3445Komplexitetsteori7,5 hpForskarnivå
FDD3452Formella metoder7,5 hpForskarnivå
FDD3456Avancerade objektorienterade system7,5 hpForskarnivå
FDD3459Mjukvaru pålitlighet9,0 hpForskarnivå
FDD3460Plagiatkontroll och grafisomorfi6,0 hpForskarnivå
FDD3461Interaktiv teorembevisning4,5 hpForskarnivå
FDD3462Datalogididaktik7,5 hpForskarnivå
FDD3463Programvarusäkerhet7,5 hpForskarnivå
FDD3501Aktuell forskning inom beviskomplexitet9,0 hpForskarnivå
FDD3502Kommunikationskomplexitet6,0 hpForskarnivå
FDD3511Seminariekurs i formella metoder och cybersäkerhet, steg 13,0 hpForskarnivå
FDD3512Seminariekurs i formella metoder och cybersäkerhet, steg 23,0 hpForskarnivå
FDD3557Programsemantik och programanalys7,5 hpForskarnivå
FJT3382Analys av Booleska funktioner7,5 hpForskarnivå