程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
解析：
[分析]： 在系统开发中，验证程序的正确性采用的是数学的方法。
预防慢性肾衰竭患者发生感染的各项护理措施中，不当的是（）
A.注意保暖和室内空气消毒
B.避免与呼吸道感染者接触
C.床单、被褥应平整、柔软，防止擦破皮肤
D.勤用温水和肥皂擦身，保持个人卫生
E.进行适当的体育锻炼
冒口补贴的作用（）。
A.提高冒口的补缩效率
B.增加冒口的有效尺寸
C.形成起模斜度
D.防止气孔
