predicate logic

基本解釋

• [數(shù)] 謂詞邏輯

英漢例句

雙語例句

• By predicate logic, the solution is set up and the process of analysis is provided.
  依據(jù)謂詞邏輯規(guī)則建立解決方案，提供了求解的流程。
• Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
  任何邏輯使用存在量詞或全稱量詞是說是一個謂詞邏輯。
  blog.sina.com.cn
• Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.
  給出了一種應(yīng)用于決策支持系統(tǒng)，基于一階謂詞邏輯的模型表示方法，并分析了此種表示方法的實用性和推理機制。

權(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

• predicate logic更多例句

詞組短語

短語

• predicate calculus logic 述詞演算邏輯
• predicate e logic language 謂詞邏輯語言
• predicate functor logic 或謂詞函子邏輯
• predicate e logic 謂詞邏輯
• Predicate modal logic 謂詞模態(tài)邏輯

• predicate logic更多詞組

專業(yè)釋義

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

• 謂詞邏輯

  The main contents of this paper as follows:(1)A method of representing spatial access control system, which is based on predicate logic was proposed.
  本文主要內(nèi)容如下:(1)提出了一種基于謂詞邏輯的空間訪問控制系統(tǒng)的描述方法。

• 述詞邏輯

數(shù)學(xué)

• 謂語邏輯
• 述詞邏輯
• 謂詞演算

語言學(xué)

• 謂詞邏輯

  In this paper, we propose some basic operations between semantic network and predicate logic, and the algorithm transforming representation of semantic network to expression of predicate logic.
  文章首先提出從語義網(wǎng)絡(luò)到謂詞邏輯這兩種形式進行轉(zhuǎn)換的基本操作 ,并給出由語義網(wǎng)絡(luò)表示轉(zhuǎn)換成謂詞邏輯形式表示的算法。

  電子、通信與自動控制技術(shù)

• 謂詞邏輯

哲學(xué)

• 謂詞邏輯