大家好呀～
我是Momo
上次呜呜怪学长给大家科普了留德申校的重点，就是课程匹配度。
今天我们和大家讲解在德国申请计算机硕士的非常重要的一个模块“理论计算机”模块，很多国内同学申请被拒的原因：理论计算机模块学分不够～
话不多说，我们直接以柏林工业大学和慕尼黑工业大学的computer science master为例
柏林工业大学
Computer Science Master 入学要求
12 ECTS理论计算机
12 ECTS计算机工程或信息技术领域
12 ECTS计算方法/实践
什么是理论计算机？
理论计算机科学的目标是传达最重要的术语和概念，用于正式描述和分析信息技术系统的最重要术语和概念。
算法和数据结构属于实用计算机科学学科、数字电路逻辑是计算机工程学的一部分。
理论计算机科学的基础学习至少包括四个模块，每个模块 6 个 ECTS 学分：
1.在《形式语言和自动机》课程中的重点是乔姆斯基层次结构中的形式语言；
2.命题逻辑和谓词逻辑是《逻辑学》中的教学内容，学生应能通过这两个模块的学习将语言内容转化为形式结构；
3.在《可计算性与复杂性》中，学生将学习理解并认识到信息技术系统可计算性的固有局限性：停止问题、不可判定性问题以及丘奇-图灵论题；
4.另一个重点是复杂性类别，可用于描述和分析算法的计算工作量和内存要求。
对应本科学习内容
更加了解“理论计算机”
根据柏林工大本科教学大纲，24 CP的理论计算机科学：形式语言和自动机、可计算性和复杂性、逻辑和至少一项在上述三个主题之一中的专业化。
1.形式语言与自动机：正则表达式；确定有限状态自动机；非确定有限状态自动机；乔姆斯基体系；下推自动机。
2.可计算性和复杂性：图灵机；时间复杂度；P问题、NP问题、NP完全问题和NP困难问题。
3.逻辑：命题逻辑；SAT 求解器；谓词逻辑
“理论计算机”
每个学校要求都是一样的吗？
But！！！
每个学校对理论计算机的要求有些差异
比如：慕尼黑工业大学的理论计算机要求：
查看慕尼黑工大的入学评估程序第一轮对匹配度评分里理论计算机的要求是最少8个学分。
And！！！
亚琛工业大学的理论计算机情况：
对照亚琛工大计算机硕士入学程序看到要求理论计算机要求24个CP：
a. 形式系统、自动机和进程，6 CP
b. 可计算性和复杂性，6 CP
c. 数理逻辑，6 CP
d. 从计算机科学学士学位课程的必修选修课中选修以下其中一门课程
- 高效算法，6 CP
- 模型检查，6 CP
- 编译器构建，6 CP
- 函数式编程基础，6 CP
- 逻辑编程基础，6 CP
- 可满足性检查，6 CP
- 混合系统建模与分析，6 CP
- 复杂性理论，6 CP
- 数理逻辑 II，6 CP
- 高级自动机理论，6 CP
关于“理论计算机”的内容到这里就结束啦，希望在读的同学们可以根据自己学校开设的课程+了解自己想要目标专业和院校情况，可以针对性选课，顺利来德国哟～
我是Momo，有缘再见~
