「一階の項」を解説文に含む見出し語の検索結果(1～10/11件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/22 09:08 UTC 版)「ユニフィケーション」の記事における「一階の項における統語論的ユニフィケーション問題」の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/22 09:08 UTC 版)「ユニフィケーション」の記事における「一階の項」の解説変数記号の集合 X = {x,y,...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/09 03:08 UTC 版)「ユニフィケーション」の記事における「一階の項の統語論的ユニフィケーションの例」の解説P...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/09 03:08 UTC 版)「ユニフィケーション」の記事における「非形式的概要」の解説2つの項 s と t があると...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/09 03:08 UTC 版)「ユニフィケーション」の記事における「高階ユニフィケーション」の解説多くの用途で、一階の...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、...
< 前の結果 | 次の結果 >
>>
「一階の項」の辞書の解説