第一届全国康复专业技术初、中级资格考试举行的时间是（）
A.1999年
B.2000年
C.2001年
D.2002年
E.2003年
参考答案：D
腹部脏器解剖位置变异较大的是（）
A.肝
B.胆
C.肾
D.胰
E.脾
程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
