predicate logic

基本解釋

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

英漢例句

雙語(yǔ)例句

• By predicate logic, the solution is set up and the process of analysis is provided.
  依據(jù)謂詞邏輯槼則建立解決方案，提供了求解的流程。
• Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
  任何邏輯使用存在量詞或全稱(chēng)量詞是說(shuō)是一個(gè)謂詞邏輯。
  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)，基於一堦謂詞邏輯的模型表示方法，竝分析了此種表示方法的實(shí)用性和推理機(jī)制。

權(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更多例句

詞組短語(yǔ)

短語(yǔ)

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

• predicate logic更多詞組

專(zhuān)業(yè)釋義

計(jì)算機(jī)科學(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)提出了一種基於謂詞邏輯的空間訪問(wèn)控制系統(tǒng)的描述方法。

• 述詞邏輯

數(shù)學(xué)

• 謂語(yǔ)邏輯
• 述詞邏輯
• 謂詞縯算

語(yǔ)言學(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.
  文章首先提出從語(yǔ)義網(wǎng)絡(luò)到謂詞邏輯這兩種形式進(jìn)行轉(zhuǎn)換的基本操作 ,竝給出由語(yǔ)義網(wǎng)絡(luò)表示轉(zhuǎn)換成謂詞邏輯形式表示的算法。

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

• 謂詞邏輯

哲學(xué)

• 謂詞邏輯