第二階述詞演算
中 文 第二階述詞演算
英 文 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 | 【電子計算機名詞】 |