数据库
课程简介
课程介绍
通过对形式语言与自动机理论的学习，将为学生提供学习和理解编译原理、软件形式化等课程的知识基础。
通过可计算性理论的学习，学生将理解什么是可计算的，什么是不可计算的，能回答“什么是计算”这样的问题，建立算法的概念。
通过对计算复杂性理论的学习，学生将理解什么是容易计算的，什么是难以计算的，能回答“什么是有效计算”这样的问题，建立有效算法的概念。
所属专业
计算机科学
计算机科学（computer science，缩写CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域：有些强调特定结果的计算，比如计算机图形学；有些是探讨计算问题的性质，比如计算复杂性理论；还有一些领域专注于怎样实现计算，比如编程语言理论。
需要学习该课程的专业
课程图谱
先修课程
