计算机科学 – 逻辑与计算方向（双学位，理学硕士）
Computer Science – Logic and Computation Track (Double Degree, Master of Science)
申请要求（为空则代表无要求）
雅思：
托福：
留学费用：EUR/年
计算机科学 – 逻辑与计算方向（双学位，理学硕士）项目简介
计算机科学硕士学位课程的学生可以选择专注于理论计算机科学和人工智能基础，作为双学位方向的一部分。该课程与维也纳工业大学合作开设。在此方向中，学生将探索当前计算方法和技术的实践和理论方面。在汉诺威，学生专注于理论计算机科学、人工智能、机器学习、大型语言模型和数据科学。在维也纳的合作大学，学生不仅专注于算法分析和机器学习，还专注于知识处理的优化和推理方法、答案集编程和真值维护系统。该双学位方向是计算机科学硕士学位课程的一个可选组成部分，是一个综合性学位课程。它为莱布尼茨大学的学生提供了在理论计算机科学和人工智能基础领域进行专业化学习的机会。成功完成课程后，学生将获得两份独立的学位证书：一份来自维也纳工业大学的“逻辑与计算”专业“Diplomingenieur/in”（Dipl.-Ing.）学位，以及一份来自莱布尼茨汉诺威大学的“计算机科学”专业理学硕士（M. Sc.）学位。学生在汉诺威开始学习，完成第一学期后，继续在维也纳工业大学完成第二和第三学期，或第三和第四学期。一年的海外学习是强制性的。
项目学术背景与核心优势
汉诺威莱布尼茨大学在电气工程与计算机科学领域拥有深厚的学科积淀，其计算机科学 – 逻辑与计算方向（双学位，理学硕士）项目依托跨学科的教学框架，强调逻辑推理与计算模型的交叉融合。该项目的课程设计注重培养学生从抽象符号系统到具体算法实现的完整思维能力，为学生在人工智能、形式化方法等前沿方向打下严密的理论基础。汉诺威莱布尼茨大学通过这一交叉学科整合了数学、计算机科学与哲学中关于逻辑与计算的经典议题， 使学生在推导与证明中建立起核心分析能力。
核心知识模块与培养方向
该项目的培养重心在于提升学生的专业素养与实操能力。课程体系通常围绕以下核心方向构建：
- 数理逻辑与公理化系统：用于验证程序正确性、设计可靠的计算协议，在安全关键系统中具有直接应用价值。
- 算法设计与复杂度分析：帮助学生在资源受限环境下优化决策过程，适用于大数据处理与高性能计算场景。
- 计算理论中的可计算性与模型检测：支撑自动定理证明与系统形式化验证，在芯片设计与协议工程中不可或缺。
毕业生职业发展路径
结合当前行业态势，该专业的毕业生具备较强的专业壁垒，适合在以下领域发展：
- 形式化验证工程师：负责使用逻辑工具对软硬件系统进行严格的功能正确性证明，降低关键系统的漏洞风险。
- 算法工程师：在金融建模、机器人路径规划等场景中设计高效的数学算法，兼顾理论最优性与工程实现。
- 研究与教学岗位：高校或企业实验室中从事逻辑与计算交叉方向的课题，推动自动推理、知识表示等基础领域发展。
常见申请疑问解答
针对跨专业申请者，该方向通常要求申请人具备扎实的底层逻辑。如果能在先修课程或实践经历中展现出对计算机科学的基础认知与分析能力，将有效弥补专业背景的不足。
在语言与学术准备方面，由于该项目涉及大量的专业文献阅读与学术对话，申请人需具备较强的学术英语理解能力。提前熟悉相关的研究方法或底层分析工具，将为后续高强度的专业学习打下坚实基础。