Courses within Theoretical Computer Science
TDDC75 | Discrete Structures, 8 hp (Grundnivå) |
TDDD08 | Logic Programming, 6 hp (Avancerad nivå) |
TDDD14 | Formal Languages and Automata Theory, 6 hp (Grundnivå) |
TDDD20 | Design and Analysis of Algorithms, 6 hp (Avancerad nivå) |
TDDD72 | Logic, 6 hp (Grundnivå) |
TDDD85 | Formal Languages and Automata Theory, 6 hp (Grundnivå) |
TDDD88 | Logic, 5 hp (Grundnivå) |
TDDE34 | Software Verification, 6 hp (Avancerad nivå) |
TDP015 | Mathematics, 6 hp (Grundnivå) |
Page responsible: Undergraduate education