證明者
中 文 證明者
英 文 prover
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 證明者 | prover | 【電子計算機名詞】 |
| 失明者閱讀助聽器 | reading aids for the blind | 【電子工程】 |
| 發明者；創造者 | inventor | 【電機工程】 |
| 設計者；發明者；發生器 | deviser | 【電機工程】 |
| 發明者，創造者 | inventor | 【電力工程】 |
| 設計者，發明者，發生器 | deviser | 【電力工程】 |
| 柯德（關聯式資料庫發明者） | Edgar F. Codd | 【資訊名詞-高中(含)以下資訊名詞】 |
| 柏納-李（全球資訊網發明者） | Timothy Berners-Lee | 【資訊名詞-高中(含)以下資訊名詞】 |
| 湯林森（E-mail 程式發明者） | Ray Tomlinson | 【資訊名詞-高中(含)以下資訊名詞】 |
| 伊克特（ENIAC 電腦發明者） | J. Presper Eckert | 【資訊名詞-高中(含)以下資訊名詞】 |
| 柏納-李（全球資訊網發明者） | Timothy Berners-Lee | 【資訊名詞-兩岸中小學教科書名詞】 |
| 湯林森（E-mail 程式發明者） | Ray Tomlinson | 【資訊名詞-兩岸中小學教科書名詞】 |
| 伊克特（ENIAC 電腦發明者） | J. Presper Eckert | 【資訊名詞-兩岸中小學教科書名詞】 |
| 柯德（關聯式資料庫發明者） | Edgar F. Codd | 【資訊名詞-兩岸中小學教科書名詞】 |
| 里奇（C 語言發明者） | dennis ritchie | 【資訊名詞-兩岸中小學教科書名詞】 |
| 板拖網發明者 | hearder | 【海事】 |
| 證明 | Confirmation | 【教育大辭書】 |
| 機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
| 零證明 | zero proof | 【資訊與通信術語辭典】 |
| 證明理論 | proof theory | 【資訊與通信術語辭典】 |