由巴塞罗那大学（UB）哲学学院主导，联合加泰罗尼亚理工大学（UPC）及西班牙国家研究委员会人工智能研究所（IIIA）共同开设，2025年最新课程全面覆盖逻辑各主要分支。课程特色为学生自由选择专业方向，涵盖代数逻辑、可计算性理论、计算复杂性、模型论、集合论、证明论、非经典逻辑等，并辅以必要基础补充课程。全部课程以英语授课。毕业生可从事逻辑、计算机、人工智能、数学及相关领域的学术与高端分析岗位。适合计划继续攻读博士研究或投身科研的学生。 来源： https://www.ub.edu/portal/web/philosophy/university-master-s-degrees/-/ensenyaments/detall/10456309/21