设有如下说明:var q,p:^integer; 且已知有过程调用new(p);new(q);则下面语句正确的是()
Aread(p,q);
Bp^:=q^
Cp:=p+1
Dp:=p+q;
Aread(p,q);
Bp^:=q^
Cp:=p+1
Dp:=p+q;
第1题
设有Pascal程序: program p_7_6 var a,b,c:integer; L1:procedure pl(var z:integer) var a,x,y:integer; b:array[1..5,1..io]of real; function f(var t:integer):boolean; var x:integer; L2: begin X:=a+t; f:=x+2 end; begin
end; L4:procdure p2(var y:integer); var x,z:real; begin
end; begin
L7: end. 试用图示法说明,在程序执行过程中,当控制到达各标号处时数据空间栈的存储分配情况。
第6题
设有子句集S={~P(x)∨R(x),P(a),~R(y)∨~Q(y),Q(a)),其中,假设~P(x)∨R(x)是目标公式否定后得到的子句,请用支持集策略对其进行归结。
第7题
A.A,G H,M,N,P,Q,X,Z
B.A,G M,H,Q,N,P,X,Z
C.G M,Q,A,N,P,X,H,Z
D.H,G M,P,A,N,Q,X,Z
第9题
设有常系数齐次线性微分方程组,x∈R2,A为二阶常数矩阵,记P=-trA,q=detA,设p2+q2≠0,试证
(1)当p>0且q>0时,零解渐近稳定;
(2)当p=0且q>0或p>0且q=0时,零解稳定但非渐近稳定;
(3)其他情形下零解都不稳定.
第10题
A.A,G H,M,N,P,Q,X,Z
B.A,G M,H,Q,N,P,X,Z
C.G,M,Q,A,N,P,X,H,Z
D.H,G M,P,A,N,Q,X,Z