axiomatic system 中文意思是什麼

axiomatic system 解釋
公理系統
  • axiomatic : adj. 1. 公理的,自明的。2. 格言(多)的。adv. -ically 照公理,公理上,自明地。n. -ics 公理體系[系統];公理學。
  • system : n 1 體系,系統;分類法;組織;設備,裝置。2 方式;方法;作業方法。3 制度;主義。4 次序,規律。5 ...
  1. Axiomatic extentions of the formal deductive system l

    系統的公理化擴張
  2. As we all known, with the founding of euclidean geometry in ancient greece, with the development of analytic geometry and other kinds of geometries, with f. kline " s erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. on the other hand, euclid formed geometry as a deductive system by using axiomatic theory for the first time. the content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from kline and perry " s appealing

    縱觀幾何學發展的歷史,可以稱得上波瀾壯闊:一方面,從古希臘時代的歐氏綜合幾何,到近代解析幾何等多種幾何的發展,以及用變換的方法處理幾何的埃爾朗根綱領,到20世紀拓撲學、高維空間理論等幾何學的新發展,這一切都在不斷豐富人們對幾何學的認識;另一方面,從歐幾里得第一次使用公理化方法把幾何學組織成一個邏輯演繹體系,到羅巴切夫斯基非歐幾何的發現,以及希爾伯特形式公理體系的建立,極大地發展了公理化思想方法,不管是幾何學的內容還是方法都發生了質的飛躍。
  3. Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted

    之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統,再對公理的合理性進行充分的解釋。
分享友人