時相論理
temporální logika
形式論理の授業では、学生に時間に基づく事象のモデル化に、時相論理がどのように役立つかがしばしば説明されます。
In formal logic classes, students are often taught how temporal logic helps to model time-based events.
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
