歸納式定義
中 文 歸納式定義
出 處 數學名詞-兩岸數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 歸納式定義 | definition by induction | 【數學名詞-兩岸數學名詞 】 |
| 歸納式定義 | definition by induction | 【數學名詞】 |
| 形式定義 | formal definition | 【資訊與通信術語辭典】 |
| 文件型式定義 | document type definition{=DTD} | 【電子工程】 |
| 串流格式定義塊 | stream format definition chunk | 【電子計算機名詞】 |
| 型式定義 | type definition | 【電子計算機名詞】 |
| 巨式定義 | macrodefinition | 【電子計算機名詞】 |
| 格式定義塊 | format definition chunk | 【電子計算機名詞】 |
| 格式定義 | format definition | 【電子計算機名詞】 |
| 形式定義 | formal definition | 【電子計算機名詞】 |
| 文件（型式）定義 | DTD | 【電子計算機名詞】 |
| 高階形式定義語言 | high level form definition language | 【電子計算機名詞】 |
| 元件型式定義；元素型式定義 | element type definition | 【電子計算機名詞】 |
| 形式定義 | formal definition | 【教育學名詞-科教名詞】 |
| 亞里斯多德式定律 | Aristotle's Dictum | 【教育大辭書】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 必（歐）‧沙瓦特二式定律 | Biot-Savart law | 【力學名詞辭典】 |
| 多項式定時 | polynomial time | 【資訊與通信術語辭典】 |
| 非決定性多項式定時 | nondeterministic polynomial time | 【資訊與通信術語辭典】 |
| 定型方式；定型範本 | typified form | 【電機工程】 |