形式論造句
造句与例句手机版
- これからのオブジェクト指向設計に必要な形式論理の訓練の実践例?ミニ?プルーフ?チェッカMizar?MSEを用いて?
今后目标指向设计中必要的形式逻辑训练实例-利用小型校对检测仪Mizar-MSE - 論理的演繹により数理的体系を構築する形式主義数学は,直感的に認識できなくても形式論理で導かれたものは正しいとするが,これには人間の精神活動は関与していない。
根据逻辑性演绎而构筑数理性体系的形式主义数学认为,形式逻辑所推导的结论,即使不能凭直觉加以认识,也是正确的,但这与人类的精神活动无关。 - 用形式論造句挺难的,這是一个万能造句的方法
其他语种
- 形式論的日语:形式论,形式主义