predicate of first order 中文意思是什麼
predicate of first order
解釋
一階謂詞-
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一歸結原理進行了初步探討 -
Drs and the formula of first - order predicate logic
與一階謂詞邏輯公式 -
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用 -
This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
這種情況下的斷言似乎就需要實現特定的語言擴展,於是一些人建議引入一階謂詞演算。 -
Informally, xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
Xquery被非正式地設計為可以構造xml文檔,而這些xml文檔是通過對輸入的xml文檔進行一階謂詞演算得出的。 -
So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以對於一個復雜對象,任何看起來需要一階謂詞演算才能描述的東西,實際都可以在編程語言范疇內實現十分精細地表述。 -
This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前後斷言方法,並且自定義了一個重構可靠性證明的邏輯推理系統:重構可靠性推演系統。 -
This has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first - order predicate calculus as a language extension
這就促使一些人在編程語言的描述機制和建模語言(如統一建模語言, uml )的處理機制中加進了部分一階謂詞演算的東西,作為一種功能擴展。 -
With the tool of first order predicate logic, this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss
摘要用一階謂詞邏輯的工具證明,那種有兩方參與,根據規則在有限步內能確定勝負的游戲,從理論上說,存在必勝的方法。
分享友人