单词盒子

formal logic language

F 开头单词

基本解释

  • [计算机科学技术]形式化逻辑语言

英汉例句

    双语例句

  • The second part analyzes the formal language of knowledge predicate logic.
    分析知道谓词逻辑的形式语言。
  • Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.
    基于F-逻辑和O-逻辑，提出了一种带值限制的本体形式表示语言。
    ceaj.org
  • Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
    描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

    • 权威例句

  • 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

专业释义

    计算机科学技术

  • 形式化逻辑语言