可算述詞

中 文 可算述詞

英 文 computable predicate

出 處 資訊與通信術語辭典

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
可算述詞 computable predicate 【資訊與通信術語辭典】
可算述詞 computable predicate 【電子計算機名詞】
半可計算述詞 semicomputable predicate 【電子計算機名詞】
可算函數 computable function 【資訊與通信術語辭典】
參考運算述函數 referencing arithmetic statement function 【電子計算機名詞】
半可算集 semicomputable set 【電子計算機名詞】
半可算 semicomputable 【電子計算機名詞】
半可算性 semicomputability 【電子計算機名詞】
可算函數邏輯 logic for computable functions{=LCF} 【電子計算機名詞】
非可算時間 nonaccountable time 【電子計算機名詞】
可算函數 computable function 【電子計算機名詞】
第二階述詞演算 second order predicate calculus 【資訊與通信術語辭典】
單述詞演算 unary predicate calculus 【資訊與通信術語辭典】
一階述詞演算 first order predicate calculus 【資訊與通信術語辭典】
較高階述詞演算 higher order predicate calculus 【資訊與通信術語辭典】
述詞演算 predicate calculus 【資訊與通信術語辭典】
算術述詞 arithmetical predicate 【電子計算機名詞】
第二階述詞演算 second predicate calculus 【電子計算機名詞】
第二階述詞演算 second order predicate calculus 【電子計算機名詞】
單述詞演算 unary predicate calculus 【電子計算機名詞】