CEFR C2
ホーア論理
호어 논리
📖 상세 해설 및 뉘앙스
컴퓨터 프로그램의 올바름을 검증하는 형식 체계.
📝 실용 예문
I am interested in Hoare logic.
私はホーア論理に興味があります。
✏️ 실력 확인 퀴즈
실전 문제를 통해 실력을 확인하세요
Q1: Choose the correct Japanese word for: "Hoare logic"
🦅
더 많은 CEFR 어휘를 완벽히 마스터하고 싶나요?
Project Eagle에서는 AI 분석 맞춤형 학습 문제를 완전 무료로 제공합니다.