Termin 1

1MA058 Tillämpad logik 10 hp och valfria kurser om 20 hp.

1MA058 Applied logic 10 hp and optional courses, 20 hp.

Termin 2

• Semantiska metoder, 10 hp (1MA057) Huvudområde(n) med fördjupning: Matematik A1N
• Algoritmer och datastrukturer II, 5 hp (1DL230) Huvudområde(n) med fördjupning: Datavetenskap G1F
• Avancerad algoritmik, 10 hp (1DL480) Huvudområde(n) med fördjupning: Datavetenskap A1N
• Databasteknik I, 5 hp (1DL300) Huvudområde(n) med fördjupning: Datavetenskap G1F, System i teknik och samhälle G1F, Teknik G1F
• Databasteknik II, 5 hp (1DL400) Huvudområde(n) med fördjupning: Datavetenskap A1N, Teknik A1N
• Examensarbete D i matematik, 15 hp (1MA081) Huvudområde(n) med fördjupning: Matematik A1E

Termin 3

• Artificiell intelligens, 5 hp (1DL340) Huvudområde(n) med fördjupning: Datavetenskap A1N, Teknik A1N
• Databasteknik I, 5 hp (1DL300) Huvudområde(n) med fördjupning: Datavetenskap G1F, System i teknik och samhälle G1F, Teknik G1F
• Funktionell programmering I, 5 hp (1DL330) Huvudområde(n) med fördjupning: Datavetenskap A1N
• Informationsutvinning I, 5 hp (1DL360) Huvudområde(n) med fördjupning: Datavetenskap A1N, Teknik A1N
• Programmeringsteori, 10 hp (1DT034) Huvudområde(n) med fördjupning: Datavetenskap A1N, Inbyggda system A1N

Termin 4

• Examensarbete E i matematik, 30 hp (1MA080) Huvudområde(n) med fördjupning: Matematik A2E