二階述語論理とは
今後の二階述語論理のあり方について。
トップ
＞
コンピュータとインターネット
＞
ハードウェア
＞
PDA
＞
二階述語論理
サイト内検索
関連キーワード
一階述語論理
高階述語論理
有限モデル理論
記述計算量
スコーレム標準形
論理学
フレーゲの定理
推移閉包
PH
多項式階層