出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/19 15:57 UTC 版)
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
指示関数が帰納的関数となるような集合を帰納的集合（きのうてきしゅうごう）という。
端的に言えば、決定可能な集合であり、チャーチのテーゼを認めるならば、計算可能な集合である。
たとえば、素数の集合は、帰納的集合である。一方で停止性問題（実行すると停止するプログラムと入力の組の集合）は帰納的でない。
帰納的集合と同じ種類の言葉
| 帰納的集合のお隣キーワード |
帰納的集合のページの著作権
Weblio 辞書
情報提供元は
参加元一覧
にて確認できます。
|
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの帰納的集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典
|
ご利用にあたって
|
便利な機能
|
お問合せ・ご要望
|
会社概要
|
ウェブリオのサービス
|
©2025 GRAS Group, Inc.RSS
