形式證明；形式證法

中 文 形式證明；形式證法

英 文 formal proof

出 處 數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
形式證明；形式證法 formal proof 【數學名詞】
形式方法 formal methods 【資訊與通信術語辭典】
形式文法 formal grammar 【資訊與通信術語辭典】
流行；時式；方式；方法；形式；樣式 fashion 【電機工程】
形式憲法 Formal constitution 【法律學名詞-公法】
形式的法則 laws of form 【電子計算機名詞】
形式語法 formal syntax 【電子計算機名詞】
形式語法剖析算法 formal parsing algorithm 【電子計算機名詞】
形式方法 formal methods 【電子計算機名詞】
形式文法 formal grammar 【電子計算機名詞】
非形式方法 informal method 【電子計算機名詞】
流行，時式，方式，方法，形式，樣式 fashion 【電力工程】
形式語法 formal syntax 【數學名詞】
形式方法 formal method 【數學名詞】
近場式天線(場形)量測法 near-field antenna measurement 【通訊工程】
完形治療法 Gestalt Therapy 【教育大辭書】
有形教學法 Visible Pedagogy 【教育大辭書】
啟發式方法 Heuristic Approach 【圖書館學與資訊科學大辭典】
錐形排序法 heap sort 【資訊與通信術語辭典】
圖形表示法 graphical representation 【資訊與通信術語辭典】