文学硕士-逻辑与计算

您可以在艺术学院提供的大多数学科中完成MLitt，但要获得批准和监督。您可以在我们的艺术学院或理学院的课程中学习逻辑和计算作为研究生专业。逻辑与计算研究生课程结合了计算机科学与哲学高级课程的强大核心，以及语言学，逻辑与计算与数学，以探索计算机语言的发展。值得探索的研究领域包括：算法设计，计算机模型和复杂性类别的定义，语法的形式化理论，智能软件代理的实现和使用，语用学，逻辑学和集合论等语义学问题，概述学习问题和通过搜索进行学习的观点，哲学和计算，表示形式主义，标准人工智能问题解决范例以及调查代理架构和多代理
The MLitt is an alternative to the PhD if you already have a masters degree and want to complete a substantial research project. You can complete an MLitt in most subjects offered by the Faculty of Arts, subject to approval and availability of supervision. You can further your research interests in the same subject as your first masters degree, or undertake research in a new area. An MLitt could be useful for a range of academic or professional careers, especially if you dont want to undertake doctoral study. You can study Logic and Computation as a postgraduate specialisation in either our Faculty of Arts or Faculty of Science programmes. Postgraduate study in Logic and Computation combines a strong core of advanced courses in Computer Science and Philosophy, alongside Linguistics, Logic and Computation and Mathematics to explore the development of computer languages.