帰納的集合的日文

• 递归集合

• 帰納的可算集合:    递归可枚举集合
• 帰納的関数:    递归函数
• 小さな帰納的次元:    ちいさなきのうてきじげん[词组]〈数〉小归纳维数。
• 帰納的アプローチ:    きのうてき approach归纳近似法。
• 帰納的可算言語:    递归可枚举语言

例句与用法

1. たとえば、素数の集合は、帰納的集合である。
2. あらゆる帰納的集合は他のあらゆる帰納的集合にチューリング還元可能である。
3. あらゆる帰納的集合は他のあらゆる帰納的集合にチューリング還元可能である。
4. 帰納的関数、原始帰納的関数、帰納的集合など（それぞれ「再帰的」ともいう）。
5. ｘ∈Eが一般帰納的述語となるような集合Eを帰納的集合（きのうてきしゅうごう）と呼ぶ。
6. 全ての帰納的集合は帰納的可算であるが、全ての帰納的可算集合が帰納的（集合）とは言えない。
7. 無限集合の公理によれば帰納的集合の存在することが保証されるので、ここでの N の定義に問題はない。
8. 集合 A が後者関数に関して閉じているとき、つまり 「a が A の元であるならば suc(a) も A の元である」が成り立つときに、 A は帰納的集合である、という。
9. 自然数の集合があるとき、任意の自然数を与えたとき、それがその集合の元なら 1 を返して停止し、そうでないなら 0 を返して停止するチューリングマシンが存在するなら、その集合は帰納的集合（または、決定可能集合、計算可能集合、チューリング計算可能集合とも）と呼ばれる。