「命題論理の場合」を解説文に含む見出し語の検索結果(1～10/12件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「クレイグの補間定理」の記事における「命題論理の場合」の解説命題論理版は以下のように定義...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:51 UTC 版)「カリー＝ハワード同型対応」の記事における「実現可能性解釈」の解説スティーヴン・コール・...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...
クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig が1957年、一階述語論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/08/30 17:09 UTC 版)「閉世界仮説」の記事における「論理学における形式化」の解説論理学における閉世界仮説の最初...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspo...
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspo...
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspo...
< 前の結果 | 次の結果 >