窗口将在 5 秒后自动关闭.
n.
同义参见:
以上来源于:《英汉大辞典》
查看更多
完全性,完整性
(1)形式化的逻辑系统的一种性质,又称完备性。若任何一个永真公式都是该逻辑系统中的形式定理,则称该逻辑系统是完全的。哥德尔证明了一阶谓词演算逻辑的重言式系统是完全的。(2)保证不丢失实体的任何重要成分,支持可靠性、有效性和可修改性的目标,有助于开发得到正确解的软件工程目标之一。
以上来源于:《英汉计算机技术大辞典》