计算机专业计算理论课程课件

作为学习参考。

包含了计算理论课程课件的PDF和PPT两个版本的资料，主要内容包括形式语言与自动机、Turing机的可计算性与递归函数，计算复杂性以及数理逻辑的相关内容。主要是这门课程所涉及的基本理论。十分详细，适合初学者学习。