程序正确性证明能证明程序的功能和动态特性符合设计要求.

王先生预计今年年底年收入为10万元，以后每年有望增加3%，每年的储蓄比率为40%。目前有存款2万元，打算5年后买房。假设王先生的投资报酬率为10%，王先生买房时准备贷款20年，计划采用等额本息还款方式，假设房贷利率为6%。

王先生可负担的首付款约为（）万元。

A.11.6

B.21.2

C.29

D.53

被子植物和裸子植物相同的特征是　（　　）

A．都是高大乔木

B．胚珠有子皮壁包被着

C．果皮保护种子

D．都靠种子进行繁殖

使交换机从用户模式进入特权模式的命令是（）。

A．enable

B．disable

C．exit

D．logout

公园游人容量是指游览旺季星期日高峰小时内同时在园游人数。

在Excel中，设A1单元的内容是数值15，A2单元的内容是数值12，在A3单元中输入函数IF(A1=10,A2,0)后，A3单元的结果是( )。

A．0
B．12
C．TRUE
D．FALSE