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 精准适应性练习题，完全免费。