组词典

词语

首页字典词典笔顺组词造句成语近义反义

词语

归纳断言法

【归纳断言法】基础信息（英文,繁体）

词语归纳断言法
繁体歸納斷言法
英文inductive assertion method

【归纳断言法】是什么意思

由Floyd提出的一种对程式正确性证明方法。将一程式分割，并假设其满足条件，再将其建立验证条件进行验证，若所有验证为真，则表该程式或程式段是正确的。

来源：-- 资讯与通信术语辞典

网友查询

相关组词

【归】组词

【纳】组词

【断】组词

【言】组词

【法】组词

浏览历史