程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
解析：
[分析]： 在系统开发中，验证程序的正确性采用的是数学的方法。
由于正常劳动力流动而引起的失业属于( )
A．季节性失业 B．结构性失业C．摩擦性失业 D．周期性失业
下列哪项不属于公文处理通常应当坚持的原则（）。
A、简单
B、实事求是
C、精简
D、高效
