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