专业总监: Juha Kontinen
强制性的核心课程10 cr
MAST31201数学逻辑(10cr)
专业化的课程至少从这个列表中选出10个cr
MAST31202公理集论(10 cr)
MAST31214可计算理论(10 cr)
MAST31203模型理论(10 cr)
MAST30001硕士论文研讨会(5cr)
MAST30000硕士论文(30cr)(链接包括评分标准和标准)
列表中的其他高级课程个人修读计划中核准的核心课程、数学、应用数学、统计学课程及/或其他课程。
一些本科水平的数学课程可纳入个人学习计划中批准的0-35cr其他研究的模块。
Juha Kontinen
朱丽叶·肯尼迪
研究开始时，要联系负责该专业的人员，以形成个人学习计划。
除必修的核心课程和专业课程外，学生可以从数学和统计的所有其他专业中选择任何高级课程。如果有足够的数学内容，也可以加入不同硕士课程，如物理、机器学习或计算机科学。
数学逻辑的主题从纯粹的数学问题从集合理论和模型理论到逻辑在计算机科学逻辑和离散数学中的应用。研究的目的是获得专业水平的数学逻辑，使过渡到多个职业在私营和公共部门，或继续博士研究。
每年提供的课程都不一样。关于以前和计划的逻辑教学的信息可以在https://wiki.helsinki.fi/display/Logic/Studies(通常比Sisu版本早很多)。
第一年,秋天
数学逻辑，10cr
1-2门高级逻辑课程(如公理集论、相关逻辑、有限模型理论)
其他课程(如代数二、拓扑二、实分析与傅里叶分析导论)
第一年,春天
2-3门高级逻辑课程(如模型理论、可计算理论、复杂性理论)
其他课程
第二年,秋天
开始专业工作和研讨会
高级逻辑课程和/或其他课程
第二年,春天
毕业+研讨会，35cr
高级逻辑课程和/或其他课程
核心课程
数学逻辑(10cr)
每两年开设的课程(如果可能的话)
公理集论(10 cr)
复杂性理论(10 cr)
可计算性理论(前递归理论)(10cr)
依赖逻辑(10 cr)
有限模型理论(10 cr)
模型理论(10 cr)
课程教得更少
分类理论(10cr)
依赖逻辑II (10 cr)
描述集论(5cr)
逻辑的历史(5 cr)
连续逻辑介绍(5cr)
量子计算导论(5cr)
大基数1和2 (5+ 5cr)
算术模型(10cr)
非基本模型理论(5 cr)
强逻辑(5 cr)
量子计算主题(5cr)
集合论的主题(10 cr)