プルーフ中文什么意思
(英) proof
证据;[印刷]校样
证据;[印刷]校样
例句与用法
更多例句: 下一页- 対象システムは十分数学化されているので,プルーフチェッカの利用が可能である。
对象系统是被十分数学化的,proof check的利用是可能的。 - これからのオブジェクト指向設計に必要な形式論理の訓練の実践例?ミニ?プルーフ?チェッカMizar?MSEを用いて?
今后目标指向设计中必要的形式逻辑训练实例-利用小型校对检测仪Mizar-MSE - 情報通信の将来の基礎に向けて6.プルーフチェッカを用いたLSI回路設計の正しさの検証 演算用,通信用LSI等
面向信息通信的将来的基础6.使用proof checker的LSI线路设计的正确性的检验演算用,通信用LSI等等 - 記号論理教育の教科細目,具体的指導方法,Mizar?MSE(記号論理のプルーフチェッカー)の使用例について説明した。
说明了关于记号逻辑教育的课程细目、具体的指导方法、Mizar-MSE(记号逻辑的校对检测仪)的使用案例。 - そして実現システムが対象モデルを確かに実現するものであることの数学的証明の可能性と,そのためのツールであるプルーフチェッカなるものについて論じた。
而且,实现系统是确实能够实现对象模型的东西,这一观点的数学的证明的可能性,以及对此有所帮助的工具proof checker进行论述。