Hide menu

Courses within Theoretical Computer Science

TDDC75Discrete Structures, 8 hp (G1) 
TDDC78Programming parallel computers - methods and tools, 6 hp 
TDDC91Data Structures and Algorithms, 6 hp (G1) 
TDDD08Logic Programming, 6 hp (A) 
TDDD14Formal Languages and Automata Theory, 6 hp (G2) 
TDDD20Design and Analysis of Algorithms, 6 hp (A) 
TDDD85Formal Languages and Automata Theory, 6 hp (G1) 
TDDE34Software Verification, 6 hp (Avancerad nivå) 
TDP015Basic mathematics and logic, 6 hp (G1) 

Page responsible: Undergraduate education