留学生本硕-全科课程辅导系列来啦啦～

今日专业课程

硕士——计算基础Fundamentals of Computation

-Learning outcomes

·使用各种机制描述形式语言。

·定义语言类并演示这些类之间的翻译。

·陈述语言类别的关键属性并确定这些属性何时成立。

·定义计算模型并使用这些模型来演示可以计算和不能计算的内容。

-Syllabus 教学大纲

上半部分是关于表达特定的字符串和字符串集合，这里我们将介绍计算机处理它的方法。 例如，每个编译器都需要识别关键字符串（例如编程结构或变量名）的能力，但它们也被谷歌等搜索引擎使用。

-引入的形式包括有限状态自动机、正则表达式（常见的是 用于模式匹配），（常规）语法。 重点在于学生能够使用这些形式主义来处理问题。

-课程的后半部分（10 个讲座）介绍了复杂性、正确性和可计算性等主题。 有四大主题：

*WHILE 编程语言

*渐近复杂性

* 部分和全部程序正确性

*可计算性

-「留易教育」致力于solve中国留学生在海外留学中遇到的study难题，并根据留学生的具体课业情况来实行系统化的辅导教学。