歸納公理
中 文 歸納公理
英 文 induction axiom
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 歸納公理 | induction axiom | 【電子計算機名詞】 |
| 歸納法公設；歸納法公理 | axiom of Induction | 【兩岸對照名詞-數學】 |
| 歸納法公設；歸納法公理 | axiom of induction | 【數學名詞】 |
| 公理宗 | Congregationalists | 【教育大辭書】 |
| 公理 | Axiom | 【教育大辭書】 |
| 安全公理 | security axiom | 【資訊與通信術語辭典】 |
| 公理語意學 | axiomatic semantics | 【資訊與通信術語辭典】 |
| 情況公理 | case axiom | 【電子計算機名詞】 |
| 阿姆斯壯公理 | Armstrong axioms | 【電子計算機名詞】 |
| 公理語意學 | axiomatic semantics | 【電子計算機名詞】 |
| 公理複雜性 | axiomatic complexity | 【電子計算機名詞】 |
| 公理 | axiom | 【電子計算機名詞】 |
| 指定公理 | assignment axiom | 【電子計算機名詞】 |
| 安全公理 | security axiom | 【電子計算機名詞】 |
| 可約性公理 | reducibility axiom | 【電子計算機名詞】 |
| 邏輯公理 | logical axiom | 【電子計算機名詞】 |
| 局部確定性公理 | local-deterministic axiom | 【電子計算機名詞】 |
| 並行公理 | concurrency axiom | 【電子計算機名詞】 |
| 形式公理學 | formal axiomatics | 【電子計算機名詞】 |
| 非形式公理學 | informal axiomatics | 【電子計算機名詞】 |