输出谓词造句
造句与例句手机版
- 输入谓词可选作起点处的断言,而输出谓词可选作终止点处的断言。
- 用上述方法只能证明在输入谓词成立的前提下,程序终止时输出谓词一定成立。
- 程序是一种过程,一个程序的输入谓词与输出谓词之间的逻辑关系就不是同一时间里的关系。
- 他的方法是:设有一给定的程序,且有变量X1,X2,…,Xn以及输入谓词P(X1,…,Xn)与输出谓词Q(X1,…,Xn)。
- 为验证程序,必须首先将程序所要实现的目标形式化,即使用数学公式表达程序加工的初始数据的范围(称作输入谓词)和程序加工的结果(称作输出谓词)。
- 若约定各个变量的取值都是整数,上述除法程序的输入谓词和输出谓词分别为在用归纳断言方法证明程序正确性时,还必须在程序的框图中设置一些数学公式,称作断言,表示程序执行到该处时,程序中变量应满足的数学关系。
- 用输出谓词造句挺难的,這是一个万能造句的方法
其他语种
- 输出谓词的英语:outer predicate