Master's Programme in Mathematics – Applied Logic
120 credits
Outline, TMA2M, TILL
A revised version of the outline is available.
- Code
- TMA2M
- Specialisation code
- TILL
- Finalised by
- The Educational Board of Science, 11 November 2010
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, Technology A1N
- Degree Project D in Mathematics, 15 credits (1MA081) Main field(s) of study and in-depth level: Mathematics A1E
Semester 3
- Artificial Intelligence, 5 credits (1DL340) Main field(s) of study and in-depth level: Computer 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, Technology A1N
- Programming Theory, 10 credits (1DT034) Main field(s) of study and in-depth level: Computer Science A1N, Embedded Systems A1N
Semester 4
- Degree Project E in Mathematics, 30 credits (1MA080) Main field(s) of study and in-depth level: Mathematics A2E
Programme syllabus
- Programme syllabus valid from Autumn 2024
- Programme syllabus valid from Autumn 2023
- Programme syllabus valid from Autumn 2022, version 2
- Programme syllabus valid from Autumn 2022, version 1
- Programme syllabus valid from Autumn 2021, version 2
- Programme syllabus valid from Autumn 2021, version 1
- Programme syllabus valid from Autumn 2020
- Programme syllabus valid from Autumn 2019
- Programme syllabus valid from Autumn 2018
- Programme syllabus valid from Autumn 2017
- Programme syllabus valid from Autumn 2016, version 2
- Programme syllabus valid from Autumn 2016, version 1
- Programme syllabus valid from Autumn 2015
- Programme syllabus valid from Autumn 2014
- Programme syllabus valid from Autumn 2013
- Programme syllabus valid from Autumn 2012
- Programme syllabus valid from Autumn 2011