CEFR C2
線形時相論理
線性時序邏輯 (LTL)
📖 詳細解析與使用情境
用於系統驗證的線性時間時序邏輯。
📝 實用例句
I am interested in Linear temporal logic (LTL).
私は線形時相論理に興味があります。
✏️ 理解度確認測試
通過實戰題目確認你的學習効果
Q1: Choose the correct Japanese word for: "Linear temporal logic (LTL)"
🦅
想要更高效地備考 CEFR？
Project Eagle 提供上萬道 AI 精準適應性練習題，完全免費。