QRCode

述詞演算

predicate calculus

2003年6月
資訊與通信術語辭典

名詞解釋:

為數理邏輯的基礎部分。以邏輯述句進行表示及推理的基本記法。把命題看作整體,分析命題的各部結構,使成主詞與述詞的邏輯形式。

述詞演算

predicate calculus

predicate calculus 進行詞彙精確檢索結果
出處/學術領域 英文詞彙 中文詞彙
學術名詞
數學名詞
predicate calculus 謂詞演算
學術名詞
數學名詞-兩岸數學名詞
predicate calculus 謂詞演算
學術名詞
電子計算機名詞
predicate calculus 述詞演算
述詞演算 進行詞彙精確檢索結果
出處/學術領域 中文詞彙 英文詞彙
學術名詞
電子計算機名詞
述詞演算 predicate calculus

引用網址: