计算机科学导论第五版第二章答案,计算机科学导论样题1答案

一、填空题(每空1分，共15分)

1. 计算学科的根本问题是什么能被(有效地)自动进行。

2. 学科知识体由分枝领域、知识单元、知识点3个层次构成。

3. 在计算学科的抽象、理论、以及设计3个学科形态中，图灵机属于理论形态的内容。

4.“针对任意给定的图灵机和输入，寻找一个一般的算法(或图灵机)，用于判定给定的图灵机在接收了初始输入后，能否到达终止状态”，该问题称为_____停机______问题。

5. 算法具有有穷性、确定性、输入和输出等重要特性。

6. “对于任一给定的图，能否找到一条路径，使得从图中某个点出发后不重复地走过所有的结点，最后又回到出发点”，该问题在图论中称为哈密尔顿回路问题。

7. 据Brooks hear给出的机器指令集，指令9123的功能是

将寄存器2与3中的数进行异或运算，将结果存入寄存器1中。

8. 据Brooks hear给出的机器指令集，能够实现将寄存器A和寄存器5中的内容相与，结果存入寄存器0中的指令是80A5 。

9. 公理系统需要满足三个条件，即无矛盾性、独立性和完备性。

10. 创新的两个重要特征是新颖性和价值性。

二、判断命题正误。(每小题1分，共10分)

1. 计算学科的“存在性”证明问题是目前计算教育中尚未解决的问题。(×)

2. 由阿达尔定律的定量形式可知，如果某一计算中所含的必须串行执行的操作占10%，那么，不管一台并行计算机系统中有多少个处理器，其最大可能的加速只能是10倍。(√)

3. 在一个连通无向图中，如果只有3个顶点为奇数度，则可以在该图中找到一条欧拉路径。(×)