時刻邏輯
中 文 時刻邏輯
英 文 temporal logic
出 處 數學名詞-兩岸數學名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 時刻邏輯 | temporal logic | 【數學名詞-兩岸數學名詞 】 |
| 時刻邏輯 | temporal logic | 【數學名詞】 |
| 時序邏輯 | sequential logic | 【電機工程】 |
| 分支時間時序邏輯 | branching-time temporal logic | 【電子計算機名詞】 |
| 時態邏輯語言 | tense logic language | 【電子計算機名詞】 |
| 時態邏輯 | tense logic | 【電子計算機名詞】 |
| 時序邏輯規格 | temporal logic specification | 【電子計算機名詞】 |
| 時序邏輯語言 | temporal logic language | 【電子計算機名詞】 |
| 時序邏輯 | temporal logic | 【電子計算機名詞】 |
| 區間時序邏輯 | interval temporal logic | 【電子計算機名詞】 |
| 查道巡邏時刻表 | patrol diagram | 【機械工程】 |
| 峰量時刻 | time of peak flow | 【力學名詞辭典】 |
| 原爆時刻 | ATB | 【環境科學大辭典】 |
| 力矩改變偵測；時刻改變偵測 | moment change detect{=MCD} | 【電機工程】 |
| 時段；時刻；天期時間 | time of day | 【電子工程】 |
| 列車時刻及售票系統 | train tablet and ticket system | 【電機工程】 |
| 閉合時刻；閉合力矩 | closing moment | 【電機工程】 |
| 多時刻度模型 | multi-time-scale modeling | 【電機工程】 |
| 消弧時刻；滅弧點 | quenching moment | 【電機工程】 |
| 預定行動開始時刻 | zero hour{=ZHR} | 【電子計算機名詞】 |