高階述詞演算

中 文 高階述詞演算

英 文 high order predicate calculus

出 處 電子計算機名詞

相關詞匯

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