第二階述詞演算

中 文 第二階述詞演算

英 文 second order predicate calculus

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
第二階述詞演算 second order predicate calculus 【資訊與通信術語辭典】
第二階述詞演算 second predicate calculus 【電子計算機名詞】
第二階述詞演算 second order predicate calculus 【電子計算機名詞】
第一階述詞演算 first order predicate calculus{=FOPC} 【電子計算機名詞】
一階述詞演算 first order predicate calculus 【資訊與通信術語辭典】
較高階述詞演算 higher order predicate calculus 【資訊與通信術語辭典】
較高階述詞演算 higher order predicate calculus 【電子計算機名詞】
高階述詞演算 high order predicate calculus 【電子計算機名詞】
單述詞演算 unary predicate calculus 【資訊與通信術語辭典】
述詞演算 predicate calculus 【資訊與通信術語辭典】
單述詞演算 unary predicate calculus 【電子計算機名詞】
述詞演算邏輯 predicate calculus logic 【電子計算機名詞】
述詞演算 predicate calculus 【電子計算機名詞】
第二階次常式 second order subroutine 【資訊與通信術語辭典】
第二階模型化 second order modeling 【資訊與通信術語辭典】
減數分裂II;減數分裂第二階段 meiosis II 【高中以下生命科學名詞】
減數分裂II;減數分裂第二階段 meiosis II 【生命科學名詞】
第二階邏輯 second-order logic 【電子計算機名詞】
第二階仿生學 second-order cybernetics 【電子計算機名詞】
第二階段錯誤 secondary phase error 【電子計算機名詞】