Axiomatizing

常見例句

• In the try to build a new base of geometry, Hilbert＇s axiomatizing is the best one.
  但它的相容性問題一直沒有解決，集合論悖論使得這個問題更加尖銳。
• Abstract: Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.
  摘 要: 歐幾里得幾何是第一個公理化體系，非歐幾何的出現(xiàn)促使人們對它的基礎(chǔ)作了嚴格審視，其中希爾伯特公理化方法最為成功；
• Theory of incompletion of Godel drastically exposes the limitation of axiomatizing itself.The method of structure of 13ourbakian can＇t conquer this limitation.
  盡管后來的布爾巴基學(xué)派的結(jié)構(gòu)數(shù)學(xué)使公理化方法更上一層樓，但仍然無法克服公理化方法本身的局限性。
• Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.
  盡管后來的布爾巴基學(xué)派的結(jié)構(gòu)數(shù)學(xué)使公理化方法更上一層樓，但仍然無法克服公理化方法本身的局限性。
• The Historical Development of Axiomatizing
  公理化的歷史發(fā)展
• Axiomatizing software test data accuracy，發(fā)表于IEEE trans on software engineering 86年。
  請軟件工程方面的河友幫忙找一篇文章冰與火-2007-06-1620:01:10
返回 Axiomatizing