**课程概述**
硕士理学学位(MRes)在逻辑与计算领域的学习,旨在培养您在计算机科学研究问题中高级逻辑技术及其应用方面的技能和知识。您将接受与现代技术研究和发展问题直接相关的精英教育。逻辑是表达和计算推理的基础,其深远的影响遍及哲学、语言学、数学和技术领域。自从计算机的发明以来,逻辑一直是理论和实践编程发展中的主要思想和技术来源。如今,在软件和硬件开发中对逻辑及其应用的研究呈现出爆炸性增长,因为这为工业和创新带来了巨大的价值。
形式化方法在汽车电子、航空电子和芯片设计等专业领域内的系统开发中不可或
-
全日制学制:
full time
-
专业方向:
-
非全日制:
-
学位名称:
MRes
-
学位类型:
研究硕士
-
学位等级:
研究类硕士
-
专业简称:
-
开学时间:
-
减免学分:
0
-
开学时间:
-
申请截止时间:
-
offer发放时间:
-
offer发放截止时间:
-
申请费用:
-
学费:
£21,850
-
书本费:
-
生活费:
-
交通费:
-
住宿费用:
-
其他费用:
-
总花费:
申请研究硕士学位的申请人通常必须持有2.1级别的本科学位(或根据斯旺西大学定义的非英国同等学历)。