semantic interpretation 中文意思是什麼

semantic interpretation 解釋
語義解釋
  1. 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一歸結原理進行了初步探討
  2. A comparison on the semantic interpretation and formalization of generic sentences

    概稱句的語義解釋及形式化比較研究
  3. First of all, the paper, based on the semantic analysis of experience and the comparison between the interpretation of experience by such disciplines as philosophy, psychology, aesthetics and pedagogy, indicates that experience is characterized with ontology, personal experiencing, affectivity, integrity, generativity, autonomy, and individuality. the paper then expounds the basic characteristics of experienced teaching from the viewpoints of the nature and goal orientation of teaching process, teacher - student relationship and course. the paper, based on the review of the main problems of current teaching theories and on the exploration of the relationship between experienced teaching, qualification education and innovative education, finally emphasizes the theoretical and practical significance of the experienced teaching research

    首先通過體驗的語義分析，通過比較哲學、心理學、美學、教育學等學科對體驗的詮釋，揭示出體驗具有本體性、親歷性、情感性、整體性、生成性、自主性、個體性等特點；在此基礎上，從教學過程的本質、目標取向、師生關系、課程內容等方面闡述了體驗教學的基本特徵；然後通過審理現有教學理論中的主要問題以及探尋體驗教學與素質教育、創新教育的關系，說明體驗教學研究的理論與現實意義。
  4. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  5. Naturally, we expect the semantic interpretation and operation to be constant across such providers

    我們自然期望在這樣的提供者之間語義解釋和操作都能保持一致。
  6. The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic

    定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基於可滿足性的推理問題。
  7. Semantic analysis methods in criminal law interpretation

    論刑法解釋中的詞義分析法
  8. Cultural psychological analysis of camel xiangzi and semantic interpretation

    的文化心理分析與語義詮釋
分享友人
分享到 Line

分享到臉書