Through the learning of the formal languages and automata theory, students will build up a foundation of knowledge for the learning and understanding of the principle of compilers and the formal methods in softwares.
Through the learning of the computability theory, students will understand what are computable and what are incomputable, and will be able to answer the questions such as what is a computation, and will build up a concept of algorithm.
Through the learning of the computational complexity theory, students will understand what are tractable and what are intractable, and will be able to answer the questions such as what is an efficient computation, and will build up a concept of efficient algorithm.
Through the exposing to the advanced topics in computing theory, students will understand the current developments and be inspired to learn more deep results.
Topics include formal languages and automata, computability and computational complexity.
Computer Science
计算机科学（computer science，缩写CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域：有些强调特定结果的计算，比如计算机图形学；有些是探讨计算问题的性质，比如计算复杂性理论；还有一些领域专注于怎样实现计算，比如编程语言理论。
