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