递归论课程期末考试试题及详细参考答案.docxVIP

递归论课程期末考试试题及详细参考答案

一、考试说明

1.考试时长：120分钟；满分：100分

2.答题要求：字迹工整、步骤完整，证明题需逻辑严谨，计算题需写明核心推导过程

3.考查范围：初等递归函数、原始递归函数、μ递归函数、图灵可计算性、递归集与递归可枚举集、停机问题、归约理论基础

二、试题部分

（一）单项选择题（本大题共10小题，每小题2分，共20分）

1.下列函数中，不属于初始函数的是（）

A.零函数B.后继函数C.投影函数D.阶乘函数

2.原始递归函数的封闭性不包含以下哪种运算（）

A.复合运算B.原始递归运算C.极小化运算D.有限叠加运算

3.关于递归集与递归可枚举集，下列说法正确的是（）

A.所有递归可枚举集都是递归集B.递归集一定是递归可枚举集

C.递归可枚举集的补集一定是递归可枚举集D.存在递归集不是递归可枚举集

4.停机问题对应的集合属于（）

A.递归集B.非递归的递归可枚举集C.非递归可枚举集D.有限集

5.μ递归函数的生成规则不包括（）

A.初始函数B.复合C.原始递归D.无界极大化

6.若集合A及其补集$\overline{A}$均为递归可枚举集，则A为（）

A.有限集B.递归集C.单纯集D.创造集