「帰納的分離不能対」を解説文に含む見出し語の検索結果(1~2/2件中)
計算可能性理論において帰納的分離不能対(きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...
計算可能性理論において帰納的分離不能対(きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...
< 前の結果 | 次の結果 >