首页 › 答案 › 题库 › 才高八斗

程序正确性证明是用（）来证明程序正确性的方法。

程序正确性证明是用（）来证明程序正确性的方法。
正确答案：数学的方法
标签：正确性 程序 方法
上一条：我省某市林市长刚到任，就碰到一件棘手的事。这个市有个造纸厂，是市里的利润大户，也是历届政府的“政绩”亮点。但是，不久前由于污染严重被中央电视台曝光。于是，上上下下的舆论都要求关闭这家造纸厂，上级环保部门也几次下通知令其停产。面对这种情况，你认为林市长该如何决策呢？
下一条：（）是对数据流图中包含的所有元素的定义的集合。