邏輯公理 的英文怎麼說
中文拼音 [luógōnglǐ]
邏輯公理
英文
logical axiom- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 公 : Ⅰ形容詞1 (屬于國家或集體的) state owned; collective; public 2 (共同的;大家承認的) common; gen...
- 理 : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
- 邏輯 : logic
-
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世紀拓撲學、高維空間理論等幾何學的新發展,這一切都在不斷豐富人們對幾何學的認識;另一方面,從歐幾里得第一次使用公理化方法把幾何學組織成一個邏輯演繹體系,到羅巴切夫斯基非歐幾何的發現,以及希爾伯特形式公理體系的建立,極大地發展了公理化思想方法,不管是幾何學的內容還是方法都發生了質的飛躍。During the process of analyzing its reasons, in the terms of logic, the thesi s proceeds from international to the domestic, from the whole nation to the west region, from under system to system itself ; in the terms of contents, the thesis respectively uses relevant theories of micro - economics, public economics and institutional economics as well as the most newly research result named " flypaper effect " in the field of financial grants
對這一模式原因的分析過程中,在邏輯上循著國際到國內、全國到西部、制度下到制度本身這樣一條線;在內容上則分別運用了微觀經濟學、公共經濟學、制度經濟學、以及財政轉移支付研究領域有關的最新研究成果「粘蠅紙效應」等各個方面的理論,從各個不同角度分析和論證。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models
從大量的遙感信息模型,地理圖像信息模型的實踐中,提出符合地理科學自身規律的非線性數學方法,解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算,從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別,從而開創了以地理科學為背景的數學研究,進而為發展地理數學奠定了基礎。Basic properties of the induced logic metric space are investigated, of which theories of divergency degree and consistency degree of a logic theory are developed, and three types of approximate reasoning models are proposed as well, and an elementary quantitative logic theory is hence established
基於此,提出了公式間的相似度與偽度量,研究了所得的邏輯度量空間的基本性質,提出並研究了邏輯理論的發散度與相容度概念,給出了三種近似推理的模式,初步建立了計量邏輯學理論。Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊謂詞邏輯公式的有限和可數解釋真度理論Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman
在理論上,本文引入了理想的語義,並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義,同時使用理想的命題邏輯公式表示安全協議的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明,原有的證明是不完善的。However, existing ontology languages are either unsuitable for web with markup languages, or short of of generic support to representation of knowledge, logical formula, axioms and rules
在現有的ontology語言中,有的不是面向web這種標記語言環境的,有的缺乏知識、邏輯公式、公理以及規則表示的通性支持。This paper concludes that the high control exercised by transnational retailers to their subsidiaries is reasonable and the sole proprietorship with high control trend is the optimal pattern for retailing nature and resource characteristics, based on comparison between transnational retailers and manufacturers in terms of overseas market entry modes
摘要本文基於跨國零售企業性質與資源特徵視角,分別運用邏輯推理方法、統計分析方法,分析了跨國零售企業與生產企業相比所具有的多重特殊性、海外市場各種進入模式的內在特性,認為,跨國零售企業母公司對子公司的高控制度追求,有其邏輯上的必然性;而具有高控制特徵的獨資模式是與零售企業性質與資源特徵的最佳匹配。This paper has adopted several scientifically studying analysing and reasoning methods to illustrate the features, back ground, purposes, restrcting and founding conditions, and the reforms of the electronicalized government. the challenges and responsibilities of the government in the network economy have also been emphasized. how to plan the network construction, and how to improve computer administration are all included in this paper, aiming at offering valuable proposals and suggestions for the government to meet the future demands and to show a completely new government image to the public
本篇論文採用唯物辯證法、實證分析法、邏輯推理法、理論聯系實際方法、調查研究法、數字分析法、對比分析法等研究方法,通過對電子化政府的含義、特徵、產生背景、意義及中國實施中的「政府網上工程」 ,電子化政府與政府改革,電子化政府的制約因素及建立條件以及面對網路化經濟政府所遇到的機遇和挑戰等作具體詳盡的分析論述,旨在提出網路時代政府的網上責任以及今後政府在規劃網路建設,實現政府網路化的主要對策,即如何推行電子政務,目的是為政府今後的建設和發展出謀劃策,使政府能適時調整自身的職能,盡快向新型管理服務職能轉變,以順應社會的呼喚,滿足公眾的需求。14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems
本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用,進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。A reasoning theory based on the finite interpretation of formulas ' truth degree in first - order fuzzy logic
基於一階模糊邏輯公式的有限解釋真度的推理理論With fully investingation and research, this paper analyzed some prlblems based on the background of pipeline bureau of chinese petroleum gas and pipeline branch company of chinese petroleum gas stcok company. the main content include : expounded the stock company based on key business and remainnder enterprise with the real example ; sumed up the question betweenn listed company and the remainder enterprise ; aanalysed historical reason and realistic reason why the question exists with the method at last. the theory method and model frame adopted in this paper are not only suitable for the petrochina, but also have guide reference for the following reforms of large - scale, super - huge state - owned enterprises such as coal. water conservancy, electric powers, railways, civil aviations, etc
本文以中國石油天然氣管道局和中國石油天然氣股份公司管道分公司為背景,用實證分析的方法,在充分調研的基礎上闡明了基於核心業務的上市公司和存續企業的形成;歸納總結了上市公司和存續企業之間存在的問題;以系統分析方法為指導思想,運用邏輯推理的方法分析了問題存在的歷史原因和現實原因;面對具有中國特色的企業,既要保證改革的成功,提高企業的競爭能力,又要保證社會的穩定,在充分考慮國家、社會、投資主體、職工個人等多方利益的基礎上,提出用戰略聯盟的思想來指導二者之間的關聯交易;指出上市公司、存續企業和集團公司三方應從不同角度做出思想意識的轉變;最後用idefo方法對聯盟的運行進行結構功能設計。Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted
之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統,再對公理的合理性進行充分的解釋。All that is certain is that the logic of the ticking bomb leads down a slippery slope where the state is licensed in the name of the greater good to trample on the hard - won rights of any one and therefore all of its citizens
唯一確定的是:順著嘀嗒作響的原子彈的邏輯推理下去,就會得到災難性的結論:以保護大多數人利益之名,國家可以蹂躪任何人來之不易的權利,以及全體公民來之不易的權利。National pcdt - icdl certificate in spreadsheet using ms excel would equip the trainees with the ability to create formulas or apply functions to create a well formatted spreadsheet document
學員應該學會與其相關的編寫處理格式和完成日常的小型文件。課程教導如何使用標準的數學和邏輯公式和功能製造格式化的圖表。After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后,用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx
本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究,主要的創新性工作包括:定義了邏輯公式及關系公理描述原語的ontology語義: web環境中用標記語言描述對象和資源,為了在語義化web上表示知識、邏輯公式、關系公理和規則,需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。The axiom system of law theory insist : the reasoning of law science is the same as the one of natural science, one proposition is deduced from another proposition, the correctness of the first proposition depends on the correctness of the second proposition, the correctness of the second proposition depends on the third proposition, and so on
法律的公理體系理論主張:法學的推理與自然科學推理的方式是相同的,都是由一個命題出發經過邏輯推理得出另一個命題。后一個命題的正確性取決於前一個命題的正確性,而前一個命題的正確性又取決于再前一個命題的正確性,一直可以追溯到一個不能再行追問的而必須被確認為真的命題? ?公理,而公理的正確性則取決于公眾的一致承認。分享友人