多種類謂詞演算

中 文 多種類謂詞演算

英 文 many-sorted predicate calculus

出 處 數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
多種類謂詞演算 many-sorted predicate calculus 【數學名詞-兩岸數學名詞 】
多種類謂詞演算 many-sorted predicate calculus 【數學名詞】
謂詞演算 predicate calculus 【數學名詞-兩岸數學名詞 】
一元謂詞演算 monadic predicate calculus 【數學名詞】
謂詞演算 predicate calculus 【數學名詞】
狹謂詞演算 restricted predicate calculus 【數學名詞】
廣義謂詞演算 extended predicate calculus 【數學名詞】
第二階述詞演算 second order predicate calculus 【資訊與通信術語辭典】
單述詞演算 unary predicate calculus 【資訊與通信術語辭典】
一階述詞演算 first order predicate calculus 【資訊與通信術語辭典】
較高階述詞演算 higher order predicate calculus 【資訊與通信術語辭典】
述詞演算 predicate calculus 【資訊與通信術語辭典】
第二階述詞演算 second predicate calculus 【電子計算機名詞】
第二階述詞演算 second order predicate calculus 【電子計算機名詞】
單述詞演算 unary predicate calculus 【電子計算機名詞】
述詞演算邏輯 predicate calculus logic 【電子計算機名詞】
述詞演算 predicate calculus 【電子計算機名詞】
第一階述詞演算 first order predicate calculus{=FOPC} 【電子計算機名詞】
較高階述詞演算 higher order predicate calculus 【電子計算機名詞】
高階述詞演算 high order predicate calculus 【電子計算機名詞】