CEFR C2
計算木論理
계산 트리 논리 (CTL)
📖 상세 해설 및 뉘앙스
시스템 검증에 사용되는 분기 시간 시제 논리.
📝 실용 예문
I am interested in Computation tree logic (CTL).
私は計算木論理に興味があります。
✏️ 실력 확인 퀴즈
실전 문제를 통해 실력을 확인하세요
Q1: Choose the correct Japanese word for: "Computation tree logic (CTL)"
🦅
더 많은 CEFR 어휘를 완벽히 마스터하고 싶나요?
Project Eagle에서는 AI 분석 맞춤형 학습 문제를 완전 무료로 제공합니다.