程序正确性证明最常用的方法是______，它对程序提出一组命题。如_爱下问搜题

搜题请搜索小程序“爱下问搜题”

问题填空题

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

答案

参考答案：归纳断言法

单项选择题

政治经济学研究的根本方法是（）

A．系统方法

B．数学方法

C．唯物辩证法

D．归纳和演绎法

填空题

我国的四大名绣是指（）、（）、（）和（）。