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

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

问题填空题

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

答案

参考答案：归纳断言法

单项选择题

关于“师爱”，下列说法正确的是（）。

A.出于私情之爱

B.对少数优秀学生的关爱

C.严慈相济，既有母爱的纯真、慈祥，又有父爱的严格、庄重

D.师爱不具有育人的作用

选择题

—Jim does well in Chinese in our class.

— _____ . Nobody does better than him.

A. So he does

B. So do I

C. So does he