謂詞;述詞

中 文 謂詞;述詞

英 文 predicate

出 處 數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
謂詞;述詞 predicate 【數學名詞-兩岸數學名詞 】
謂詞;述詞 predicate 【數學名詞】
謂詞變數 predicate variable 【數學名詞-兩岸數學名詞 】
謂詞演算 predicate calculus 【數學名詞-兩岸數學名詞 】
函數運算[法];謂詞運算[法] functional calculus 【數學名詞-兩岸數學名詞 】
多種類謂詞演算 many-sorted predicate calculus 【數學名詞-兩岸數學名詞 】
一元謂詞演算 monadic predicate calculus 【數學名詞】
多種類謂詞演算 many-sorted predicate calculus 【數學名詞】
函數運算[法];謂詞運算[法] functional calculus 【數學名詞】
數謂詞;數謂項 numerical predicate 【數學名詞】
謂詞變數 predicate variable 【數學名詞】
謂詞符號 predicate symbol 【數學名詞】
謂詞演算 predicate calculus 【數學名詞】
狹謂詞演算 restricted predicate calculus 【數學名詞】
第二層次謂詞 second level predicate 【數學名詞】
廣義謂詞演算 extended predicate calculus 【數學名詞】
算術謂詞 arithmetic predicate 【數學名詞】
述詞邏輯 Predicate Logic 【教育大辭書】
前述詞 Antecedent 【教育大辭書】
零位述詞 zero place predicate 【資訊與通信術語辭典】