「優先度法」を解説文に含む見出し語の検索結果(1～10/11件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「優先度法」の解説ポストの問題は優先度法という技法を用いて解決...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:45 UTC 版)「チューリング次数」の記事における「ポストの問題と優先度法」の解説エミール・ポストは r...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「帰納的可算集合の束(lattice)」の解説ポストは単純集合...
チューリング次数（～じすう、英: Turing degree, degree of unsolvability）は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、そ...
チューリング次数（～じすう、英: Turing degree, degree of unsolvability）は、計算理論及び数理論理学に出現する次数であり、自然数の集合に対して付与され、そ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「戦後論理学」の解説第二次世界大戦後、数理論理学は4つの互...
.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...
.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:var(...
.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:var(...
< 前の結果 | 次の結果 >
>>
「優先度法」の辞書の解説