美国本科计算理论辅导

近期有一位同学咨询过我们的老师关于美国本科计算理论辅导的一些相关内容，考虑到可能并不是只有这一位同学有这个方面的相关需求，本次我们就针对这门课程来与同学们一同分享一下。有兴趣的同学可不要错过哦。

美国本科计算理论课程强调可计算性和计算复杂性理论。主题包括常规和上下文无关的语言，可判定和不可判定的问题，可约性，递归函数理论，计算的时间和空间度量，完备性，层次结构定理，固有的复杂问题，预言机，概率计算和交互式证明系统。

　美国本科计算理论课程设置为：

　　自动机和语言理论：

有限自动机，正则表达式，下推自动机，上下文无关文法，泵引理。

　可计算性理论：

图灵机，丘奇-图灵论文，可判定性，停止问题，可约性，递归定理。

复杂性理论：

复杂性的时间和空间度量，复杂性类P，NP，L，NL，PSPACE，BPP和IP，完全问题，P与NP猜想，量词和博弈，层次结构定理，可证明的难题，相对化计算和预言机，概率计算，交互式证明系统。

在学习美国本科计算理论课程前，需要先学习计算机科学数学、离散应用数学原理两门课程。无论是针对美国本科计算理论辅导还是该课程的前置课程，考而思的老师都是可以为同学们提供到一个无缝衔接的学术辅导的。若是还有什么需求的话，也可以与考而思的在线老师取得联系哦。