邏輯類型的理論
中 文 邏輯類型的理論
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 邏輯類型的理論 | theory of logical types | 【電子計算機名詞】 |
| 有效邏輯系統的理想設計 | ideal design of effective and logical system{=IDEALS} | 【電子計算機名詞】 |
| 型式理論；類型理論 | type theory | 【電子計算機名詞】 |
| 人的理論 | Theory of Man | 【教育大辭書】 |
| 社會問題的理論 | Theories of Social Problems | 【教育大辭書】 |
| 靶的理論 | target theory | 【保健物理辭典】 |
| 浮點類型的屬性 | attribute of floating point type | 【資訊與通信術語辭典】 |
| 定點類型的屬性 | attribute of fixed point type | 【資訊與通信術語辭典】 |
| 離散類型的屬性 | attribute of discrete type | 【資訊與通信術語辭典】 |
| 特定類型的連接點 | type-specific connection point | 【電子工程】 |
| 浮點類型的屬性 | attribute of floating point type | 【電子計算機名詞】 |
| 定點類型的屬性 | attribute of fixed point type | 【電子計算機名詞】 |
| 離散類型的屬性 | attribute of discrete type | 【電子計算機名詞】 |
| 表格類型的資料錄集 | table-type record set | 【電子計算機名詞】 |
| 型數理論 | theory of type number | 【電子計算機名詞】 |
| 未指定類型的識別項 | identifier without type suffix | 【電子計算機名詞】 |
| 資料類型的顯式轉換 | explicit conversion of data type | 【電子計算機名詞】 |
| 狹域孢粉類型的 | stenopalynous | 【生物學名詞-植物-兩岸植物學名詞】 |
| 廣域孢粉類型的 | eurypalynous | 【生物學名詞-植物-兩岸植物學名詞】 |
| 由下而上的理論 | bottom-up theory | 【心理學名詞】 |