程序设计理论各年度试题答案.docVIP

程序设计理论各年试题参考答案Made by 林祺颖试题预测（这些为本人意见，仅供参考）：题目前有#为考试必考内容，即类似的题目一定会出，一定要灵活掌握。题目前没有符号的为可能考内容，一定要知道怎样做。题目前有*符号的为基本不考内容，浏览一下即可。答案参考（如有任何补充或者感觉不对的地方，一定要向我提出来噢）：黑色的为个人感觉没有问题的部分，如果发现有错误，那一定要跟我说。红色的为个人感觉可以修改或者不确定，甚至不太会做的部分，大家一起讨论。绿色的为提示或者需要注意的部分。联系方式：在群上找林祺颖，或者加QQ：1238260，我基本都在。下面有些符号为了录入方便，都作了一些替代，标准符号可要看书。如ω用w代替。程序设计理论试题 2004 年01 月 06 日该卷答案基本是一个师兄做的，红色为我补充的部分1. Show that (P(Nat),) is not a Well-founded Set, but({S|S is a finite subset of Nat},) is a well-founded set解释：P(Nat)为自然数集合的集合。即Nat的Power Set。取第1个集合为Nat, 第2个集合为Nat-{1}, 。。。,第n个集合为Nat-{1,2,..n-1},则可以产生一个infinite descending sequence（无穷递降序列）, 所以(P(Nat), )不是Well-founded Set. 设T={S|S is a finite subset of Nat}, 若(T, )不是Well-founded Set,则必然存在一个infinite descending sequence, 设为a1,a2,…,an…, 则a1a2…an…, 从而|a1||a2|…|an|….,因为ai属于T(i=1),即ai是一个有限集，所以|ai|是一个有限的自然数，|ai|不能形成一个无限下降的序列，矛盾，所以(T,)是Well-founded Set.2. Show that for all formulas w1 and w2, the formula w1 ?w2 and w1 ∨w2 and logicallyequivalent.证明w1?w2与w1∨w2逻辑等价，即是要证明|= w1?w2w1∨w2. 对于任意的Interpretation I, I(w1?w2w1∨w2)(σ) 等价于 I(w1)(σ)?I(w2)(σ)I(w1)(σ)∨I(w2)(σ), 因为w1,w2:∑?Bool, 所以I(w1)(σ)=true或者I(w1)(σ)=false, I(w2)(σ)=true或者I(w2)(σ)=false。若I(w1)(σ)=true, I(w2)(σ)=true, 则I(w1?w2w1∨w2)(σ) = (true?true true∨true)=true;其余三种情况类似地也有I(w1?w2w1∨w2)(σ)＝true.所以|= w1?w2w1∨w2, 从而w1?w2与w1∨w2逻辑等价。*3. Consider evaluation of the logic expressions with only operators ,| and || in C programming language. Construct an abstract machine for evaluation of the expressions and try to define the meaning function M(e) : for any given expression e.这题不会写。师兄也没给出答案。^_^题目意思是，对于一个只有,|,||操作的C语言逻辑表达式，建立起抽象机，并且给出对于给定的表达式e，给出对应的meaning function M(e) : 的定义#4. Present the partial order () graphically. How many elements does it have? How many elements are maximal?这是一个定义在由Boolω映射到Boolω的函数的偏序集。并且是具有=关系，所以某些映射是不能成立的，如{(ω,ture),(true, ω)..}BoolωBoolω共有11个元素，用ai(1=i=11)表示如下:a1: {(ω,ω),(true,ω),(false,ω)} a2:{(ω,ω),(true,ω),(false,true)}a3:{(ω,ω),(true,ω),(false,false)} a4:{(ω,ω),(true,true),(false,ω)}a5:{