掌握逻辑

逻辑学硕士课程

逻辑传统上被定义为对有效推理的形式方面的研究，但是今天许多逻辑学家认为逻辑是对正式系统及其应用的更普遍研究。在现代逻辑中由纯粹研究开发的概念框架和工具在不同学科中发现了许多用于研究形式语言和系统的应用，例如软件工程和计算语言学。

作为一门学科，逻辑学是真正跨学科的，位于哲学，数学，计算机科学和语言学之间的边界。交流是积极的，互利的。现在逻辑学也是数学，计算机科学和语言学的一个活跃的国际学习和研究领域。

两年制课程的第一年主要包括逻辑学理论基础的必修课。第二年包括30马力的论文和选修课程，作为一名学生，你在逻辑及其应用的一般领域内致力于专业概况。

一个研讨会系列，逻辑学术讨论会，关于逻辑，方法论和逻辑史的应用将贯穿两年。你也将有机会参加该系的逻辑研究研讨会。作为该计划的学生，您将与国际和有活力的研究环境密切合作。

Monica Havström

课程内容

• 完整性和可判定性
• 集合论与模态逻辑
• 模型理论与证明理论
• 范畴论与真理的形式论

毕业后的职业生涯

毕业生将准备好申请博士学位。逻辑学，理论哲学，语言学和计算机科学方面的课程，并且将具有争论分析，演绎数据库和语义网络的能力。非学术职业选择包括软件工程，基于网络的技术以及信息和通信技术部门。

要求

本科学位，至少三年全日制学习，逻辑学，理论哲学，数学，计算机科学或语言学。

学习本程序的3个理由

1. 数学，哲学和计算机科学相结合的跨学科环境
2. 参加国际研究环境
3. 选择适合您的背景和学术及职业目标的课程模块

Monica Havström

申请期限从秋季开始

没有欧盟/欧洲经济区国籍的国际学生
从秋季开始的所有课程，国际学生的主要申请期限为10月中旬至1月15日。在href =“universityadmissions.se申请

欧盟/欧洲经济区自由移民/非合作伙伴学生和瑞典学生
如果您不需要居留许可，秋季申请将于3月15日至4月中旬开放。在href =“universityadmissions.se或at href =”antagning.se申请 。

学费

作为欧盟/欧洲经济区以外国家公民的学生通常需要支付学费。学费不适用于欧盟/欧洲经济区公民。有关学费的信息，请联系哲学系，语言学和理论科学部。