基本解釋[電子、通信與自動控制技術]謂詞邏輯語言英漢例句雙語例句The second part analyzes the formal language of knowledge predicate logic.分析知道謂詞邏輯的形式語言。Z is a formal specification language based on the first order predicate logic and set theory. It can generate concise, accurate and conformable specifications.語言是基于一階謂詞邏輯和集合論的形式規(guī)格說明語言，采用了嚴格的數(shù)學理論，可產生簡明、精確、無歧義且可證明的規(guī)格說明。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.謂詞邏輯是一種基于謂詞分析的高度形式化的語言及其推理，是人工智能產生和發(fā)展的最重要的理論基礎。權威例句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 Beginnerspredicate logic language更多例句詞組短語短語predicate e logic language 謂詞邏輯語言predicate logic language更多詞組專業(yè)釋義電子、通信與自動控制技術謂詞邏輯語言