命題的形式 的英文怎麼說
中文拼音 [mìngtídexí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;...
-
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 ]的基礎上,給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法,並實現了多個命題公式主範式的同時形式化輸出。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
本文以空間基本單元的研究為切入點,通過三向度復合空間一系列基本問題的界定,確立課題研究的對象與基本方法:進而完成對三向度復合空間的本質屬性與形式構造這兩個最核心問題的討論;最後,以示例的方式對所述命題進行解釋與經驗性的驗證,以及對三向度復合空間現象作具體的分析。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
摘要從社會歷史的角度來看,西方第一部哥特式小說《奧特蘭托城堡》無論就其形式還是主題,並非「頹廢、野蠻、怪誕」的純娛樂性作品,而是一部融合了古代傳奇和現實主義小說特徵、有著鮮明的政治傾向和革命內涵的小說。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
本文在對材料分析論證題出現的原因、演變作簡要探討后,著重從四個方面對材料分析論證題的命題理論與技術進行了系統研究:首先,從材料的表現形式、題問的組織結構、答題的能力要求和答案的賦分方式四個不同視角對材料分析論證題進行了分類,概括了材料分析論證題的基本模式,從而為整個研究奠定了基礎。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 ,那麼它們都可以寫成多個數(至少兩個數)的「和」的形式;如果證明兩個二項展開式的和無法表示為一個新的二項展開式,即可證明費馬猜想逆命題不成立。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
然後給出了柯西不等式在命題證明、不等式證明、求解三角形問題、函數最值、解方程等方面的應用。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
本文以當前水利行業經濟體制轉軌過程中出現和存在的項目建設管理體制與建設管理治理結構這兩個焦點問題為研究對象,從歷史、現狀、國內外項目管理的實踐入手,結合現代管理學理論,論述了水利項目的建設管理體制,尤其是項目法人責任制的實施方案問題;同時,從水利項目建設管理單位的環境、使命分析入手,著重論述了建設管理單位的組織結構設計、運行管理機制等問題,尤其在建設管理單位職能部門的形成分析、各種組織結構形式的具體適用與選擇、內部管理的規章制度、外部管理功能的實現途徑、建設管理單位的監督機制等方面做出了有益的探索。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
摘要英國藝術評論家克萊夫?貝爾提出著名的美學命題「有意味的形式」 ,對現代藝術產生了深遠的影響。" 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
這樣一來, 「國家干預法治化」中的「法治」就只能解釋為形式理性法之治,但這種形式理性法之治與國家干預實質化的特點是不相吻合的,因此,這一命題遮蔽了國家干預與法治之間潛在的矛盾和沖突, ?簡單套用這一命題並將其作為經濟法的追求目標,並不利於經濟法自身的發展。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
它有四副面孔:早期神學著作中的愛的承認關系是非歷史的;耶拿手稿描述了社會倫理發展中的家庭的情感承認關系、法律的形式承認關系和國家的實質承認關系; 《法哲學原理》中的相應論述與此有著很多一致之處,但在家庭的職能和市民社會的產生等問題上存在著重大差異; 《精神現象學》則把人與人之間的相互承認奠基於生死斗爭的政治,從而暗示了一種激進的革命立場。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
主題包括:神經誘導和模式形成,細胞譜系和細胞命運確定,神經元遷移,軸突引導,突觸的形成和穩定性,依賴性活動的發育和危險期,行為的發育。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章,主要運用一般均衡和局部均衡比較等理論,實證、規范經濟學研究等方法進行探討,對農業產業政策實施績效、農村需求結構、就業結構、農業生產要素和布局、農業可持續發展、農業國際化等命題以及對策建議作了比較全面深入的評析。本課題研究主要有以下創新觀點:初步搭建了農業產業政策和結構理論框架,設計了政策和結構體系圖;延伸了「農業」概念外延,提出了「大農業」的構想;提出了農業產業經營組織再造和創新的公司化發展方向,設置了農業產業化、公司化發展模式圖和產業化公司模型圖;設計了農業可持續發展良性循環圖和農業資金投入效益模型圖;提出了建立農產品質量標準體系、推行內外貿一體制的觀點;建立了農業保障體系參照圖,建議通過產業政策引導鄉鎮、私營企業和「三資」企業發展;剖析農村勞動力就業結構、區域布局、科技創新、農產品市場體系;提出了加大農產品物流配送的整體思路;提出了農業支撐體系新觀念及擴大政府支農范圍、重構農業保險體系、扶持弱勢群體的政策建議。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
然而,下面的命題卻是假的: 「由於某物仰慕目的,因而它引發了結果」以及「因為它產生了結果,因此形式賦形,物質作為質料因」 ;不過這些命題被廣為認可。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
相對于數學知識的呆板而言,數學思想方法更富有生命的味道,數學知識是結果,而數學思想方法關注結果的形成過程;相對于數學知識的以文字、符號、圖形等外顯的形態直接記錄下來的存在方式,數學思想方法則常常以內隱的形式存在於概念、公式、法則、定理的形成過程和問題解決的過程之中;數學思想方法是比數學知識處于更高層次上的知識,如果用把知識比作鑰匙,那麼,數學知識開啟的是某一領域的大門,而數學思想方法可以開啟不同領域的大門,比數學知識更富有指導意義。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
命題邏輯系統中的歸結原理本質上存在組合問題,因此,如何避免組合問題(通常以計算復雜性的形式出現)是自動推理研究中的一個重要課題。Formal reasoning system based on fuzzy propositional modal logic
基於模糊命題模態邏輯的形式推理系統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 ~ *的框架中,從語義上為模糊推理規則構建了邏輯基礎。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的(弱)完備性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
摘要提出了一種基於問題求解理論的密碼協議模型,給出了模型的基本語法以及基於演算的形式語義,明確了模型推理過程中涉及到的一些關鍵性的概念和命題。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
在本文中我們主要針對產生式的左部是一模糊現象,而右部是一個狀態或命題的形式進行討論,特別是右部帶有可信度的形式。分享友人