计算理论syllabus.doc.doc

“可计算理论”课程大纲1.课程简介课程中文名称: Computability Theory课程英语名称: Computability Theory课程中文简介: 通过介绍Turing机器，递归函数，URM等计算模型及其等效证明. 引入可计算性的概念，建立对Church-Turing命题的认识，掌握问题的不可确定性的证明方法，并对问题的可计算性/不可确定性形成直觉. 讲座包括: 计算模型（Turing机，递归函数，URM），Church-Turing命题，Gödel编码，Smn定理，一般过程，可确定性和半可确定性，递归集和递归可枚举集，规范和类，递归定理. 对于软件工程的学生而言，可计算理论课程将帮助他们建立对整个主题的定性理解，并且课程的基本内容将对其未来的技术职业产生不可替代的影响. 课程英语简介: 本课程的目的是让学生确立可计算性的本能. 通过讨论众所周知的计算模型及其等效性的证明，Church-Turing论文得到了介绍并通过练习得到了加强. 在技​​术水平上，学生可以接触到递归，编号和对角线化的基本方法. 本课程涵盖的主题包括计算模型，Church-Turing论文，Godel指数，Smn定理，通用程序，可判定性和部分可判定性，递归集和递归可枚举集，归约和度，递归定理. 2.课程的教学内容和课时分配（包括练习，自学，作业，讨论等的内容和要求）计算模型（图灵机，递归函数，URM）88分配的目的是要熟悉计算模型的计算方式. 上课前应自学教科书中的有关章节. 审查内容，并推导证明. Church-Turing命题44允许明自己与班级相当. 必须是可编码的计算理论有哪些，并且可以操纵代码. 通用程序44的目的是建立通用计算机可判定性和半可判定性的概念. 55该工作的目的是熟悉可判定性和半可判定性讨论方法. 递归集和递归可枚举集55分配的目的是熟悉递归集和递归可枚举集的算法描述方法和类. 复习第33课3.教学方法本课程的教学实践活动使用多种教学方法和手段: 课程网站: 扩展课堂内容，提供补充资料，电子课件.

运动课: 第一个练习课确保学生对可计算概念有直观的了解. 学期末，练习课总结了可计算理论的证明思想和方法. 答: 讲师和助教将通过电子邮件和教学系统渠道回答学生下课后遇到的问题. 四，评估和分数评估方法最终分数由通常的作业和期末考试分数组成. 每个部分的比例如下: 日常作业和课堂参与: 30％. 主要评估知识点的掌握程度. 期末考试: 70％. 主要评估课程所有知识点的掌握和推理能力. 5.教科书和书目: 可计算性: 递归函数理论导论计算理论有哪些，奈杰尔·卡特兰（Nigel Cutland），剑桥大学出版社，1990年. 书目: 可计算性理论，Barry Cooper，查普曼和霍尔/ CRC，2004年. 可计算的合理性和计算复杂性引言，张亮，北京大学出版社，2004年. 作家: 付玉玺

本文来自电脑杂谈，转载请注明本文网址：
https://www.pc-fly.com/a/jisuanjixue/article-183785-1.html