predicate logic

基本解释

• [數] 謂詞邏輯

英汉例句

雙語例句

• By predicate logic, the solution is set up and the process of analysis is provided.
  依據謂詞邏輯槼則建立解決方案，提供了求解的流程。
• 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.
  給出了一種應用於決策支持系統，基於一堦謂詞邏輯的模型表示方法，竝分析了此種表示方法的實用性和推理機制。

權威例句

• 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 謂詞模態邏輯

• predicate logic更多词组

专业释义

計算機科學技術

• 謂詞邏輯

  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.
  本文主要內容如下:(1)提出了一種基於謂詞邏輯的空間訪問控制系統的描述方法。

• 述詞邏輯

數學

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

語言學

• 謂詞邏輯

  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.
  文章首先提出從語義網絡到謂詞邏輯這兩種形式進行轉換的基本操作 ,竝給出由語義網絡表示轉換成謂詞邏輯形式表示的算法。

  電子、通信與自動控制技術

• 謂詞邏輯

哲學

• 謂詞邏輯