語義論 的英文怎麼說

中文拼音 [lún]
語義論 英文
semantics
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • 語義 : semanteme; semantics
  1. The author of the paper observes that, formally, an indirect conditional sentence is characterized by a protasis and an indirect apodosis with a lack of a direct apodosis ; semantically, there exists no contingency / dependency relationship between the protasis and the indirect apodosis

    本文作者提出,間接條件句的形式特徵是只有前設句和間接斷句而沒有直接斷句,其特徵是在前設句和間接斷句之間不存在一般條件句所必需的依存關系。
  2. 2 ) nine analysis and optimization technologies, based on the syntax and semantics of process models, and integrated with bpi theory

    2 )基於過程模型的法和,結合過程改進理,提出了九種過程模型的分析優化方法。
  3. Some theoretical problems on the comparative method of semantics

    關于學比較法的理問題
  4. In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement

    我們的方法就是用cpal ( cryptographicprotocolanalysislanguage )言來表示協議,將hoare和dijkstra在形式方面的理應用到該言,分析該言的形式,定每種句的最弱前置條件。
  5. 2. on information extraction and recognition, some rules of dimension mark extraction are summarized by analyzing the dimension restriction semantics, then effective methods of extracting text information from heading - table and filtering drawing ’ s peripheral frame are presented, in addition, this paper also discusses cutaway view ’ s recognition and pre - processing. 3

    2 .在信息提取與識別方面,分析了尺寸標注約束,總結出尺寸標注提取的規則;給出了標題欄信息提取和工程圖紙圖框過濾的方法;詳細討了有關剖視信息的提取、識別和預處理方法。
  6. Domain theory provides the mathematical foundation for denotation semantics of computer program languages. it is characterized by the close connection between order and topology, which makes it the common study field of both computer experts and mathematicians. weight, character and density are generally called cardinal functions

    一種domain范疇要成為某種言的學模型其基本條件是笛卡爾閉的,因而研究domain范疇的笛卡爾閉性或者說尋找笛卡爾閉的domain范疇就自然成了domain理中一個十分基本的問題。
  7. Tim berners - lee brought forward the concept of semantic web in 1998 and set the goal as to make computer process information automatically by adding metadata to traditional web data to make the latter machine - understandable. the clearer meanings of data and domain theory ( ontology ) are supposed to provide high quality services for web

    1998年, timberners - lee提出了web的概念,目標是通過向數據中添加機器可理解的和啟發式的使用元數據來實現機器自動處理信息,數據的清楚加上領域理(即本體)將使得web提供更高質量的服務。
  8. On general semantics and the theoretical foundations

    普通學及其理基礎
  9. This installment will look at the general semantics of relax ng, and touch on datatyping

    這篇專欄文章將討relax ng的常規,並簡要闡述數據類型。
  10. This text discussesthe application of the numeral idiom in the special position in the language and the handiness, dividing a few of its structure, enumerating the function and the language righteousness characteristic of its sentence construction

    本文述了數詞習言中的特殊地位和巧妙應用,劃分了它的幾種結構,列舉了其句法的功能以及特徵。
  11. The concept of interestingness is redefined within the scope of probability, which is the base of the introduction of the negative items. with the bound of the negative items, an algorithm iar, which can generate the rules with negative items, is proposed. these works complete the semantics of the rules, as well as make the rules more meaningful, especially in the case of concept hierarchy consideration

    通過在統一的概率的范疇內重新定興趣度的概念,使得負項的引入有了理依據,並通過對負項的進一步限定,提出產生包含負項的關聯規則iar演算法,使關聯規則包含的更加完整,規則本身也更有意,特別是在有概念層次的情況下。
  12. The conceptualist view holds that there is no direct link between a linguistic form and what it refers to ; rather, in the interpretation of meaning they are linked through the mediation of concepts in the mind

    意念認為,言形式及其所代表的對象之間(即言與現實世界之間)沒有直接聯系;確切地說,在理解時,是通過大腦中存在意念這一中介物來聯系的。
  13. Semantic selection of np to dual number measure words

    雙數量詞對名詞性成分的選擇
  14. Wittgenstein have roughly two steps for anti - private language argument, the first step rely on anti - ostensive definition, and the second step is crux of argument, and rely on distinguishing private language and public language

    摘要維特根斯坦的反私人證分兩個步驟來進行,第一步依賴于反直指定,而關鍵性的第二步則以對私人言與公共言的區分為前提。
  15. Philosophized " nonlinearity " results in semantic vagueness, and causes pointless philosophical arguments

    非線性概念的哲學化,造成了混亂,並引起了無謂的哲學爭
  16. On the role of semanteme and sememe in semantic understandings

    位和素分析在理解中的作用
  17. Second, many proposals originally disputed by generative semanticists have since appeared in the interpretivist literature

    其次,由生成學家最先提出進行討的許多提議后來出現在解釋主文獻之中。
  18. Via the investigation on the subjects such as philosophy of moral education, semasiology, logic, anthropology, psychology and so on, the author thinks that the ultimate goal is to cultivate the value character of our students. this character is an " attitude " dynamic system which consists of the subsystems such as " moral cognition ", " moral emotion ", " moral behavior ", etc. it is built on the basis of our traditional culture, which focuses on three dimensions of " learn to be ", " learn together " and " learn to act ". and it embodies the respect - responsibility ( individual to himself, to others, to society, to nature and so on ) value which is the students " core character as well as the goal of education that our moral education should pursue

    透過道德教育哲學、學、邏輯學、人類學、心理學等多學科的考察,文認為,學校道德教育的根本目的在於培養受教育者的德性品質(品格) ;受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」等子系統組成的「態度」動力系統;建立在傳統文化基礎上,圍繞「立身」 、 「處世」 、 「行事」三個維度,體現「尊重?責任」關系(生命個體對自己、他人、社會、自然等)價值觀,既是受教育者核心品格,也是學校道德教育應該追求的教育目標。
  19. This framework is composed of semantic modeling of certain domain, semantic description of resources, extension search of semantic model, and etc. this paper emphasize on rdf inference mechanism, which is the fundamental of sematic retrieval

    該框架主要由特定領域的建模、信息資源的描述、模型擴展查詢等部分組成。 rdf的推理機制是本文研究的重點,也是進行檢索的理基礎。
  20. In the framework of the generative grammar, the government and binding theory provides us evidence of the classification of these sentential types semantically and syntactically : the argument structure and epp determine the obligatory elements at the sentential level, morphological rules and the case theory motivate the production of some derived sentence types

    生成法管約框架內分析了劃分的和句法依據,謂詞的題元結構和epp決定了句子層面的必有成分,同時形態規則的作用和滿足格理還會推導出一些衍生句式。
分享友人