「recursion theory」を解説文に含む見出し語の検索結果(81~90/108件中)
.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...
数理論理学において、ボレル階層(ボレルかいそう、英語: Borel hierarchy)はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれ...
数理論理学において、ボレル階層(ボレルかいそう、英語: Borel hierarchy)はポーランド空間の開集合によって生成されるボレル代数の階層化である; この代数の要素はボレル集合と呼ばれ...
数学において、二項関係が整礎(せいそ、英: well-founded)であるとは、真の無限降下列をもたないことである。定義集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空で...
数学において、二項関係が整礎(せいそ、英: well-founded)であるとは、真の無限降下列をもたないことである。定義集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空で...
数学において、二項関係が整礎(せいそ、英: well-founded)であるとは、真の無限降下列をもたないことである。定義集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空で...
数学において、二項関係が整礎(せいそ、英: well-founded)であるとは、真の無限降下列をもたないことである。定義集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空で...
計算可能関数(けいさんかのうかんすう、英: Computable function)は、計算可能性理論研究の基本的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。