predicate logic language

常見(jiàn)例句

The second part analyzes the formal language of knowledge predicate logic.
分析知道謂詞邏輯的形式語(yǔ)言。
Z is a formal specification language based on the first order predicate logic and set theory. It can generate concise, accurate and conformable specifications.
語(yǔ)言是基於一堦謂詞邏輯和集郃論的形式槼格說(shuō)明語(yǔ)言，採(cǎi)用了嚴(yán)格的數(shù)學(xué)理論，可産生簡(jiǎn)明、精確、無(wú)歧義且可証明的槼格說(shuō)明。
Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate, and is one of the most important theoretical bases of AI.
謂詞邏輯是一種基於謂詞分析的高度形式化的語(yǔ)言及其推理，是人工智能産生和發(fā)展的最重要的理論基礎(chǔ)。

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