formal logic language

基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]形式化邏輯語(yǔ)言

英漢例句

雙語(yǔ)例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語(yǔ)言。
• Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.
  基于F-邏輯和O-邏輯，提出了一種帶值限制的本體形式表示語(yǔ)言。
  ceaj.org
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識(shí)表示的形式化語(yǔ)言，是一階邏輯的可判定子集。

權(quán)威例句

• Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
  NEWYORKER: Utopian for Beginners

• formal logic language更多例句

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式化邏輯語(yǔ)言