問題邏輯 的英文怎麼說
中文拼音 [wèntíluó]
問題邏輯
英文
problematical logic- 問 : Ⅰ動詞1 (請人解答) ask; inquire 2 (詢問; 慰問) question; ask about [after]; inquire about [aft...
- 題 : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 問題 : 1 (需回答的題目) question; problem 2 (需研究解決的矛盾等) problem; matter 3 (事故或意外) tr...
- 邏輯 : logic
-
The english absolute construction is a kind of absolute construction with logical subject - predicate relation. its concept, composition, grammatical functions and some problems are discussed and analyzed in this article
摘要獨立主格結構是一種具有邏輯主謂關系的獨立結構。本文就其概念、構成、語法功能以及使用須注意的一些問題進行介紹和分析。One way of overcoming this problem is to incorporate logic circuitry.
解決這個問題的方法之一是引入邏輯電路。We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。Logic empiricism and issue of mind and material
邏輯經驗主義與心物問題On some problems in the research on epistemic logic
試論認知邏輯研究中的若干問題By using the yearly data of water - sand that is gotten by a couple of adjacent hydrologic station in yellow river lower reaches, this paper makes use of kinds of math methods looking for the nonlinear disturbance among all of the factors, and introduces the thinking of analysis, logic, conclusion, inference, and random to nonlinear hydrologic forecasting. it realizes the valid approximation of the water level process in erodible - bed channel
本文選擇黃河下游兩對相鄰水文站多年水沙資料,藉助多種數學方法尋找其中的非線性擾動項,將隨機數學中分析、邏輯、歸納、演繹、隨機的思考問題方式引入到非線性水文預報中,實現沖淤河道相應水位過程的有效擬合。Logically, this paper includes three parts. the first is the introductive chapter including researching background, connotation and definition of government economic supervision, researching area and view angle, approaches adopted and key concepts and the fundamental framework. the second, chapter 1 to 4, is the theoretical analyzing part, in which discussions are made on problems like origination of supervision theory of government, property supervision system and economic problems in this field
本文在邏輯結構上,按照從理論到實踐的順序展開分析,具體分為三大部分,導論部分:選題背景、意義,政府經濟監督內涵界定,研究范圍和視角,方法與關鍵概念以及文章基本框架;理論分析部分,包括第一、二、三、四章,分析了政府經濟監督理論的產生,政府經濟的代理問題,產權監督機制和監督的經濟學等問題;實證分析部分包括第五、六、七章,通過對西方國家國企的比較和我國政府經濟的監督問題分析,提出了政府經濟的監督制度安排。Thereinto, monetary fuctions is the foundation. after contrastive research on correlative monetary theories, we will draw conclusions that money was consequentially created is not only for overcoming the difficulty of labour exchange, but for meeting the need of a demand which possess integrated monetary fuctions. in each economic stage, monetary fuctions will change
本文以對貨幣職能轉變的認識為邏輯主線,這包括兩點轉變,一是不同時期貨幣職能的內容不同,一是同一貨幣職能在不同時期在經濟中的重要性也不同,來從新梳理已有貨幣理論中的幾個基本問題,並對已有的理論進行了拓展和創新。There is no unambiguous logical way to answer this question.
這個問題沒有明顯的邏輯答案。( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem, and the first order logic is a half determinant one. so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )眾所周知,經典命題邏輯中的判定問題是np完全問題,而一階邏輯是半可判定問題,關于非經典邏輯特別是非單調邏輯的計算復雜性分析和演算法實現是一個重要的研究領域。Decision - making is a special type in questions. the paper tries to analyze the special logic structure from the view of question logic. then it tries to draw a conclusion that it has instinctive difference comparing with general question logic in the property of truth value
決策是問題的一種特殊類型,本文著重從問題邏輯的角度分析了決策的特殊的邏輯結構,並且得出,在真值性質上與一般問題邏輯有著顯著的區別。Generating sat instances from first - order formulas
由一階邏輯公式得到命題邏輯可滿足性問題實例Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems
命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學中的經典問題,不僅在理論上有著重要的地位,而且在許多實際問題中得到了廣泛的應用。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
命題邏輯系統中的歸結原理本質上存在組合問題,因此,如何避免組合問題(通常以計算復雜性的形式出現)是自動推理研究中的一個重要課題。Finally we discuss the methodology of our research, the chapter arrangement and the innovation in this dissertation. in chapter two, we explains the internal factor and external condition of minority shareholders " rights and interests being exploited by the block shareholder based on the contractual theory
通過論文研究的問題、邏輯路徑、章節安排及創新特色這一節,確立了全文研究的問題及方向,並對研究路徑、章節安排及模型邏輯關系進行了設計,同時歸納了本文的創新點及特色。This problem negated the rationality of science. logical empirist agreed the reason of science and producted systematical theory of verifiability, but the principal of verifiability suffered from criticism because it negated the verifiability of science propsition
這就是著名的「休謨問題」 、 「歸納問題」 。邏輯實證主義者承認科學的合理性,並提出了系統的證實理論。Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved
四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ) ,並討論了它的語法和語義問題,證明了可靠性定理。Valuationally decided formula question in ukasiewicz propositional logic systems
命題邏輯系統中的賦值決定公式問題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邏輯的邏輯原語以及描述屬性之間關系的關系原語。A formal definition of proposition formulae was provided by context - free grammar, and the conversion from proposition formulae to polynomials was solved automatically
摘要該文將命題邏輯的定理證明轉換為多項式方程的求解問題,從而提出了一種基於非子句的代數化方法。分享友人