形式推導

中 文 形式推導

英 文 formal deduction

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
形式推導 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 【教育大辭書】