English web site
Kurser inom Teoretisk datalogi
| TDDC75 | Diskreta strukturer, 8 hp (Grundnivå) |
| TDDD08 | Logikprogrammering, 6 hp (Avancerad nivå) |
| TDDD14 | Formella språk och automatateori, 6 hp (Grundnivå) |
| TDDD20 | Konstruktion och analys av algoritmer, 6 hp (Avancerad nivå) |
| TDDD72 | Logik, 6 hp (Grundnivå) |
| TDDD85 | Formella språk och automatateori, 6 hp (Grundnivå) |
| TDDD88 | Logik, 5 hp (Grundnivå) |
| TDDE34 | Mjukvaruverifiering, 6 hp (Avancerad nivå) |
| TDP015 | Grunder i matematik och logik, 6 hp (Grundnivå) |
Sidansvarig: Grundutbildningen
