公理語意學
中 文 公理語意學
出 處 資訊與通信術語辭典
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 公理語意學 | axiomatic semantics | 【資訊與通信術語辭典】 |
| 公理語意學 | axiomatic semantics | 【電子計算機名詞】 |
| 列表處理語意 | list processing semantics | 【電子計算機名詞】 |
| 形式公理學 | formal axiomatics | 【電子計算機名詞】 |
| 非形式公理學 | informal axiomatics | 【電子計算機名詞】 |
| 公設法；公理學 | axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞-兩岸數學名詞 】 |
| 形式公設學；形式公理學 | formal axiomatics | 【數學名詞】 |
| 非形式公設學；非形式公理學 | informal axiomatics | 【數學名詞】 |
| 公設法；公理學 | axiomatics | 【數學名詞】 |
| 公理化幾何學 | axiomatic geometry | 【教育學名詞-科教名詞】 |
| 公理宗 | Congregationalists | 【教育大辭書】 |
| 公理 | Axiom | 【教育大辭書】 |
| 安全公理 | security axiom | 【資訊與通信術語辭典】 |
| 情況公理 | case axiom | 【電子計算機名詞】 |
| 阿姆斯壯公理 | Armstrong axioms | 【電子計算機名詞】 |
| 公理複雜性 | axiomatic complexity | 【電子計算機名詞】 |
| 公理 | axiom | 【電子計算機名詞】 |
| 指定公理 | assignment axiom | 【電子計算機名詞】 |
| 安全公理 | security axiom | 【電子計算機名詞】 |