逻辑学硕士项目旨在培养学生对推理、悖论、数学证明等核心问题的深入理解。项目融合数学、哲学、语言学与计算机科学,提供跨学科训练。学生将掌握模型论、可计算性理论、证明论、集合论等核心领域知识,并有机会探索自然语言处理、数据库设计、人工智能等应用方向。哥德堡大学是瑞典少数提供此类多学科逻辑学硕士项目的院校之一。
项目包含六门必修核心课程:逻辑理论、集合论、模态逻辑、逻辑哲学、证明论、模型论。选修课程包括范畴论、数学哲学、真之公理化理论、计算模型、逻辑史、人类推理与认知科学、Lambda演算与类型论、量化模态逻辑、依赖逻辑、可证性逻辑、决策理论、逻辑、游戏与自动机等。学生还需完成毕业论文。