《理论计算机科学基础》 《理论计算机科学基础》第5周第6周内容介绍《理论计算机科学基础》1《理论计算机科学基础》2第2部分 可计算性理论第5周 图灵机第4章 丘奇-图灵论题第7章 可计算性理论的 高级专题(递归定理)第6周 (不)可计算问题第5章 可判定性第6章 可归约性《理论计算机科学基础》3第4章 丘奇-图灵论题图灵机(TM)多带图灵机 非确定