真偽値の領域

一階命題論理などの論理体系においては,真偽に相当する概念として,\[D_{t} \overset{\mathrm{def}}{\equiv} \{0,1\}\]と定義される集合 $D_{t}$ を用います.

Vita brevis, ars longa. Omnia vincit Amor.





















確率測度の拡張 プッシュダウンオートマトン スタック 連接 conjunction 正規表現 regular expression 非決定性有限オートマトン NFA