形式推導
中 文 形式推導
出 處 數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 形式推導 | formal deduction | 【電子計算機名詞】 |
| 形式推導 | formal derivation | 【數學名詞】 |
| 形式推理 | formal inference | 【數學名詞】 |
| 宣告符型式推導 | declarator type derivation | 【電子計算機名詞】 |
| 虛位領導人；形式領導人 | figurehead | 【管理學名詞】 |
| 正規形式下推自動機 | normal form pushdown automaton | 【電子計算機名詞】 |
| 形式下推自動機 | formal push-down automaton | 【電子計算機名詞】 |
| 形式導數 | formal derivative | 【數學名詞】 |
| 形式行為主義 | Formal Behaviorism | 【教育大辭書】 |
| 形式運思期 | Formal Operational Stage | 【教育大辭書】 |
| 形式訓練說 | Formal Discipline Theory | 【教育大辭書】 |
| 形式語言 | Formal Language | 【教育大辭書】 |
| 形式對象 | Formalobjekt | 【教育大辭書】 |
| 形式訓練 | Formal Discipline | 【教育大辭書】 |
| 形式科學 | Formalwissenschaft | 【教育大辭書】 |
| 形式知覺 | Form Perception | 【教育大辭書】 |
| 形式主義 | Formalism | 【教育大辭書】 |
| 形式化 | Formalization | 【教育大辭書】 |
| 形式 | Form | 【教育大辭書】 |
| 符號形式哲學 | Symbol Form Philosophy | 【教育大辭書】 |