「シークエント計算」を解説文に含む見出し語の検索結果(1~10/141件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「LK」の解説シークエント計算ではシークエントの列で証...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「LK の特性」の解説この規則体系は一階述語論理におい...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「シークエント計算」の解説詳細は「シークエント計算」を参照...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「構造規則」の解説構造規則にはもう少し説明が必要である...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「LJ」の解説LK の規則に少しだけ変更を加えることで...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「導出例」の解説例として ⊢ {\dis...
シークエント計算(シークエントけいさん、英: Sequent calculus)は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...
シークエント計算(シークエントけいさん、英: Sequent calculus)は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...
シークエント計算(シークエントけいさん、英: Sequent calculus)は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「直観的説明」の解説上記の規則群は「論理規則」と「構造...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS