实验3循环程序设计 【实验目的】 1掌握循环结构 while、do- while、for的使用。 2了解转向语句的使用。 3学习循环结构的嵌套使用

【实验目的】 1掌握循环结构 while、do- while、for的使用 2了解转向语句的使用 3学习循环结构的嵌套使用

3.2 归结演绎推理 3.3 应用归结原理求取问题答案 3.４ 归结策略 3.6 Horn子句归结与逻辑程序 3.7 非归结演绎推理

1.已知前提:(1)如果x与y是同班同学,则x的老师也是y的老师;(2)小李和小 张是同班同学;(3)王先生是小李的老师,运用自然演绎推理证明:王先生也是小张 的老师 证明:首先定义谓词: Teacher(x, y) x是y的老师 Classmates(x, y) x和y是同班同学 则已知的前提可以符号化为 (1)VxVyV=Teacher(x, y)A Classmates (, =)>Teacher(x, =))

1.(补充习题)判断以下公式对是否可合一若可合一,则求出最一般的合一 (3)P(f(x),y),P(y,f(b)) 解:令O=,S={p(f(x),y),P(y,f(b))} ①差异集为{f(x),y},做替换{f(x)/y},则 1=0of(x)y}={f(x)/y} S1 =S, ={P((x), f (x), P( f(x),(b)); ②差异集为{x,b},做替换{b/x},则

一、审计重要性标准的初步评估 (一) 1.会计报表层次的重要性水平 根据资产负债表计算的重要性水平=4000*0.5%=20万元 根据利润表计算的重要性水平=800*5%=40万元 根据稳健性原则,会计报表层次的重要性水平确定为20万元。 2.问题(1)、(2)涉及违反会计准则与会计制度的问题,性质严重,尽 管金额不大,但属于重大错报;问题(3),存货低估16万元,达到会计报表 层次重要性水平的80%,超过了存货的可容忍误差,属于存货项目的重大错报

一、单项选择题(每题1分,共15分。请从题后的备选项中选出你认为正确的选项,将其序号填在题后的括号内。每题只有一个备选项是正确的。) 1.2.d3.d4.B5.c6.B7.c8.C 9.C10.D11.D12.C13.B14.B15.B

一、填空题 1.监督和评价真实、合法和效益加强经济管理实现经济目标 2.经济监督与评价经济鉴证 3.《审计法》 4.内部审计基本准则、内部审计具体准则、内部审计实务指南

一、填空 1.真实性合法性效益性主管责任直接责任 2.财政审计财务审计 3.领导干部管理机关本级人民政府人民政府

一、单选题 1.b2.d3.d4.a5.6.c7.b8.a 二、多选题 1. CD 2. ABCD 3. BC 4. ABCD 5. BCD