10kv电缆直径对照表:系统软件与应用 题目 IMP

来源：百度文库 编辑：神马品牌网 时间：2024/05/10 13:47:15
全部家当求解：

（1）设Tw = λfλx .f ( f x )
Th = λfλx.f(f(f x ))
Sq = λx.x*x
Ink = λx.x+3
试计算 (a)Sq Ink 5 (b) Th Ink 6 (c) Tw Sq 7 (d) Th Tw Ink 8

（2）设 F(x)= if x>100 then x-10 else F(F(x+11))

试分别用(a)最左规则计算F(97) (b)最左最内规则计算 F(40)

(5) 已知f[0：?]中前5个数据分别为21，24，35，40，43
g[0：?]中前6个数据分别为19，22，23，25，39，40
h[0：?]中前7个数据分别为20，27，35，36，37，38，52
若执行下列程序时，循环执行了2次后，试给出 i、j、k的可能的值?
程序： i , j , k := 0 , 0 , 0 ;
do f[i] < g[j] ∨ f[i]<h[k] ----> i := i+1
▍ g[j] < f[i] ∨ g[j]<h[k] ----> j := j+1
▍ h[k] < f[i] ∨ h[k]<g[j] ----> k := k+1
od

(7) 对IMP语言的循环命令，四种不同的语义(操作语义、指称语义、代数语义和Hoare的公理语义)对之定义是不同的，试给出循环命令的四种语义表述，根据你的认识，他们有什么不同?

这是今年的考题吧，哈哈，答案已发送到你的邮箱！！

系统软件与应用 题目 IMP 信号与系统软件 应用题目 应用题目 应用题目 怎样区分系统软件与应用软件 系统软件 系统软件 系统软件 系统软件