1、

A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically. The correctness of the ABLP approach is proved.

从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明。

互联网摘选

2、

And we learned how to prove the Pythagorean Theorem in Euclidean geometry, starting with the various axioms in Euclidean geometry, ba, ba-ba, ba-ba, ba-ba, ba bum.

我们都学习过,欧几里得几何中对勾股定理的证明方法,从繁杂的欧氏几何的公理开始,邦,邦邦,邦邦,邦邦。

互联网摘选

3、

Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

其次,利用中介公理集合论MS的相关理论,构造了MS中的自然数系统,证明了Peano5条公理为MS中的定理。

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈