Göm menyn

Kurser inom Teoretisk datalogi

TDDC75Diskreta strukturer, 8 hp (Grundnivå) 
TDDC78Programmering av parallelldatorer - metoder och verktyg, 6 hp (Avancerad nivå) 
TDDC91Datastrukturer och algoritmer, 6 hp (Grundnivå) 
TDDD08Logikprogrammering, 6 hp (Avancerad nivå) 
TDDD14Formella språk och automatateori, 6 hp (Grundnivå) 
TDDD20Konstruktion och analys av algoritmer, 6 hp (Avancerad nivå) 
TDDD72Logik, 6 hp (Grundnivå) 
TDDD85Formella språk och automatateori, 6 hp (Grundnivå) 
TDDD88Logik, 5 hp (Grundnivå) 
TDDE34Mjukvaruverifiering, 6 hp (Avancerad nivå) 
TDP015Grunder i matematik och logik, 6 hp (Grundnivå) 

Sidansvarig: Grundutbildningen