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 분석 맞춤형 학습 문제를 완전 무료로 제공합니다.