Master's Programme in Mathematics – Applied Logic

120 credits

Outline, TMA2M, TILL

Semester 2

Semantic Methods, 10 credits (1MA057) Main field(s) of study and in-depth level: Mathematics A1N
Algorithms and Data Structures II, 5 credits (1DL230) Main field(s) of study and in-depth level: Computer Science G1F
Advanced Algorithmics, 10 credits (1DL480) Main field(s) of study and in-depth level: Computer Science A1N
Database Design I, 5 credits (1DL300) Main field(s) of study and in-depth level: Computer Science G1F, Sociotechnical Systems G1F, Technology G1F
Database Design II, 5 credits (1DL400) Main field(s) of study and in-depth level: Computer Science A1N, Data Science A1N, Technology A1N
Degree Project D in Mathematics, 15 credits (1MA081) Main field(s) of study and in-depth level: Mathematics A1E

Artificial Intelligence, 5 credits (1DL340) Main field(s) of study and in-depth level: Computer Science A1N, Data Science A1N, Technology A1N
Database Design I, 5 credits (1DL300) Main field(s) of study and in-depth level: Computer Science G1F, Sociotechnical Systems G1F, Technology G1F
Functional Programming I, 5 credits (1DL330) Main field(s) of study and in-depth level: Computer Science A1N
Data Mining I, 5 credits (1DL360) Main field(s) of study and in-depth level: Computer Science A1N, Data Science A1N, Technology A1N
Programming Theory, 10 credits (1DT034) Main field(s) of study and in-depth level: Computer Science A1N, Embedded Systems A1N

Degree Project E in Mathematics, 30 credits (1MA080) Main field(s) of study and in-depth level: Mathematics A2E