命題的形式 的英文怎麼說

中文拼音 [mìngdexíngshì]
命題的形式 英文
propositional form
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • : 4次方是 The fourth power of 2 is direction
  • : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  1. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]基礎上,給出了邏輯中任一主析取範和主合取範自動生成演算法,並實現了多個主範同時化輸出。
  2. This thesis begins with the space unit study, establishes the study object and basic methods by defining a series of elementary questions of third - dimensional composite space, and discusses the hypostasis and form structure this two core questions of third - dimensional composite space, and finally analyzes such a space phenomenon while explaining and validating the mentioned proposition by means of some architecture examples. this study can provide the possibility and operation ability for further explanation of compared complicated architectural space phenomenon

    本文以空間基本單元研究為切入點,通過三向度復合空間一系列基本問界定,確立課研究對象與基本方法:進而完成對三向度復合空間本質屬性與構造這兩個最核心問討論;最後,以示例對所述進行解釋與經驗性驗證,以及對三向度復合空間現象作具體分析。
  3. This essay, from the viewpoint of social history, gives an analysis of the form and theme of horace walpole ' s the castle of otranto known as the first gothic novel in western countries, and points out that the novel, blending the romance and the realistic narrative, has such a political, revolutionary ideology that it cannot be considered as a pure amusing work

    摘要從社會歷史角度來看,西方第一部哥特小說《奧特蘭托城堡》無論就其還是主,並非「頹廢、野蠻、怪誕」純娛樂性作品,而是一部融合了古代傳奇和現實主義小說特徵、有著鮮明政治傾向和革內涵小說。
  4. The thesis provides systematic study on theory and technique of design about adhm from main aspects after exploring the source and evolution of it : first, the thesis categorizes adhm and sum up its basic model from four distinct perspectives - - presenting forms of historical material, organizing construct of question, and requiring ability of answer and method of paying score. second, the thesis makes an exhaustive analysis to examine function of adhm from four levels - - memory - distinguish, comprehension - annotation, analysis - synthesis and evaluation - argument

    本文在對材料分析論證出現原因、演變作簡要探討后,著重從四個方面對材料分析論證理論與技術進行了系統研究:首先,從材料表現組織結構、答能力要求和答案賦分方四個不同視角對材料分析論證進行了分類,概括了材料分析論證基本模,從而為整個研究奠定了基礎。
  5. Easy to prove that none of x, y, z is 1, therefore, they would be presented in a sum of two or more numbers ; if we prove the two expensions of the " two items " never form another new expension of the " two items ", we would prove fft

    容易證明x , y , z都不為1 ,那麼它們都可以寫成多個數(至少兩個數)「和」;如果證明兩個二項展開和無法表示為一個新二項展開,即可證明費馬猜想逆不成立。
  6. Then the application of cauchy - inequality is illustrated by proving a proposition or an inequation, solving a triangle, and finding a solution to an equation or the maximum value & minimum value of a function

    然後給出了柯西不等證明、不等證明、求解三角、函數最值、解方程等方面應用。
  7. The thesis targets the two focused issues existing in project construction management and construction managemeflt rehabilitation structure in the course of curreflt economy system tyansit stage of the water resources sector starting from history cun. ent status, domestic and overseas project management experience, with combination of theories of modem management science, the paper explains the construction management system of water resources projects, in particular the execution plans of project legal person responsibility system ; on the basis of environment and mandatory mission analysis of water resources project construction management units, the paper demonstrates organization smicture design and operation management mechanism of consmiction management units

    本文以當前水利行業經濟體制轉軌過程中出現和存在項目建設管理體制與建設管理治理結構這兩個焦點問為研究對象,從歷史、現狀、國內外項目管理實踐入手,結合現代管理學理論,論述了水利項目建設管理體制,尤其是項目法人責任制實施方案問;同時,從水利項目建設管理單位環境、使分析入手,著重論述了建設管理單位組織結構設計、運行管理機制等問,尤其在建設管理單位職能部門成分析、各種組織結構具體適用與選擇、內部管理規章制度、外部管理功能實現途徑、建設管理單位監督機制等方面做出了有益探索。
  8. English art critic clive bell puts forward a famous the esthetics sets question " the form that have intention to the flavor ", produced the important influence to the modem art

    摘要英國藝術評論家克萊夫?貝爾提出著名美學「有意味」 ,對現代藝術產生了深遠影響。
  9. " substantive " conception of the rule of law per se is questionable. in other words, conception of the rule of law in ordinary sense is " formal " conception of the rule of law. accordingly, " rule of law " in the thesis - - " state intervention governed by the rule of law ", which is only

    這樣一來, 「國家干預法治化」中「法治」就只能解釋為理性法之治,但這種理性法之治與國家干預實質化特點是不相吻合,因此,這一遮蔽了國家干預與法治之間潛在矛盾和沖突, ?簡單套用這一並將其作為經濟法追求目標,並不利於經濟法自身發展。
  10. It has four faces : recognition of love in early theological writings is non - historical ; jenaer manuscript described the recognitions based on affection of family, form of law and essence of nation which bear many similarities to the corresponding discuss in elements of the philosophy of right, but they are different on the questions of function of family and the coming into being of civil society ; phenomenology of spirit builds the mutual recognition between human beings on the politics of battle of life and death and implies a radical revolutionary standpoint

    它有四副面孔:早期神學著作中承認關系是非歷史;耶拿手稿描述了社會倫理發展中家庭情感承認關系、法律承認關系和國家實質承認關系; 《法哲學原理》中相應論述與此有著很多一致之處,但在家庭職能和市民社會產生等問上存在著重大差異; 《精神現象學》則把人與人之間相互承認奠基於生死斗爭政治,從而暗示了一種激進立場。
  11. Topics include : neural induction and pattern formation, cell lineage and fate determination, neuronal migration, axon guidance, synapse formation and stabilization, activity - dependent development and critical periods, development of behavior

    包括:神經誘導和模成,細胞譜系和細胞運確定,神經元遷移,軸突引導,突觸成和穩定性,依賴性活動發育和危險期,行為發育。
  12. The whole dissertation can be divided into 9 chapters, which are mainly engaged on the comparative theories of the common balance and the partial balance, and the methodology of the demonstration and criterion economics to do the analysis and res earch on the purpose of making relatively thorough and deep assessment on the policy - making and related improvement suggestions on such areas as the implement performance of the agriculture policies, the requirement structure of agriculture, the structure of employment, the basic elements and arrangement of agriculture production, the sustainable development of agriculture and the agriculture internationalization etc. the basic innovative points of the dissertation are as follows : ( 1 ) to establish a systematic framework for the research on the policies of agriculture industry and the structure of agriculture industry ; the framework for grand agriculture industry structure ; the framework of subject relationship in the agriculture socialized service system ; the circulation framework of sustainable development for agriculture ; the model framework for corporation development for agriculture institution ; ( 2 ) to expand the external scope of the concept of agriculture ; ( 3 ) to put forward the ideas of the corporation orientation by restructuring and innovating the present agriculture operational institution ; ( 4 ) to raise the viewpoints to set up the quality standard system for agriculture produce and to initiate the same system of the internal and external trade ; ( 5 ) to offer the suggestions on guiding the development of the township and private enterprises through the industry policies ; ( 6 ) to raise the innovative viewpoint by way of the systematic analysis on agriculture and the employment structure of the countryside, the district arrangement, technological innovation and the marketing system of agriculture produce ; ( 7 ) to put forward the comprehensive thinking way to broaden the logistics services for agriculture produce ; ( 8 ) to raise the new idea of the agriculture supporting system and the policy suggestions on expanding the areas for the government to support agriculture industry, reorganization of agriculture insurance system and aid to the weak masses of the countryside

    本課是在國家農業產業政策不斷完善和產業經濟學科科學發展背景下,從農業產業政策實踐出發,從大農業產業結構、組織、技術、資金、勞動力、土地等資源配置以及區域布局、國內外關聯等角度,以農業產業政策與農業發展互動關系為切入點,提出了農業產業政策調整取向,初步成和發展了政策理論。全文共分9章,主要運用一般均衡和局部均衡比較等理論,實證、規范經濟學研究等方法進行探討,對農業產業政策實施績效、農村需求結構、就業結構、農業生產要素和布局、農業可持續發展、農業國際化等以及對策建議作了比較全面深入評析。本課研究主要有以下創新觀點:初步搭建了農業產業政策和結構理論框架,設計了政策和結構體系圖;延伸了「農業」概念外延,提出了「大農業」構想;提出了農業產業經營組織再造和創新公司化發展方向,設置了農業產業化、公司化發展模圖和產業化公司模型圖;設計了農業可持續發展良性循環圖和農業資金投入效益模型圖;提出了建立農產品質量標準體系、推行內外貿一體制觀點;建立了農業保障體系參照圖,建議通過產業政策引導鄉鎮、私營企業和「三資」企業發展;剖析農村勞動力就業結構、區域布局、科技創新、農產品市場體系;提出了加大農產品物流配送整體思路;提出了農業支撐體系新觀念及擴大政府支農范圍、重構農業保險體系、扶持弱勢群體政策建議。
  13. Otherwise the following propositions would be false : " because something loves the end, therefore it causes the effect " and " because it produces the effect, therefore the form informs and the matter functions as material cause " ; nevertheless these propositions are commonly admitted

    然而,下面卻是假: 「由於某物仰慕目,因而它引發了結果」以及「因為它產生了結果,因此,物質作為質料因」 ;不過這些被廣為認可。
  14. Mathematics method of thinking opposite to starched mathematics knowledge is fuller of vitality, mathematics knowledge is a result, but mathematics method of thinking pays attention to the formation of the result ; mathematics knowledge is recorded down with letter, sign, sketch. . etc explicit esse, but mathematics method of thinking usually tacitly exsits in the formation of concept, formula, rule, axioms and the process of problem - solving ; mathematics method of thinking is the knowledge to be placed in the higher than mathematics knowledge, if we assimilate knowledge to a key, then, mathematics knowledge opens the door of a certain realm, but mathematics method of thinking could open the door of the different realm

    相對于數學知識呆板而言,數學思想方法更富有生味道,數學知識是結果,而數學思想方法關注結果成過程;相對于數學知識以文字、符號、圖等外顯態直接記錄下來存在方,數學思想方法則常常以內隱存在於概念、公、法則、定理成過程和問解決過程之中;數學思想方法是比數學知識處于更高層次上知識,如果用把知識比作鑰匙,那麼,數學知識開啟是某一領域大門,而數學思想方法可以開啟不同領域大門,比數學知識更富有指導意義。
  15. In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving

    邏輯系統中歸結原理本質上存在組合問,因此,如何避免組合問(通常以計算復雜性出現)是自動推理研究中一個重要課
  16. Formal reasoning system based on fuzzy propositional modal logic

    基於模糊模態邏輯推理系統
  17. In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics

    王國俊教授於1996年建立了模糊演算系統l ~ * ,之後在系統l ~ *框架中,從語義上為模糊推理規則構建了邏輯基礎。
  18. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分:在以bl邏輯為背景bl代數定義中去掉限制性較強條件a b = a ( a b ) ,建立了一種新代數系統rl ,並進一步研究了rl代數類性質;以rl代數為賦值域建立了一種更為廣泛模糊演算系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl(弱)完備性
  19. This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model

    摘要提出了一種基於問求解理論密碼協議模型,給出了模型基本語法以及基於演算語義,明確了模型推理過程中涉及到一些關鍵性概念和
  20. In this par t, we mainly discuss production systems whose left part is a fuzzy phenomenon, but right part is a state or proposition. especially, right with certain factor

    在本文中我們主要針對產生左部是一模糊現象,而右部是一個狀態或命題的形式進行討論,特別是右部帶有可信度
分享友人