「自然数の集合の算術的階層」を解説文に含む見出し語の検索結果(1~4/4件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「自然数の集合の算術的階層」の解説ペアノ算術の言語で書かれた...
ナビゲーションに移動検索に移動算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類...
ナビゲーションに移動検索に移動算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類...
チューリングジャンプ(Turing jump または Turing jump operator)とは計算可能性理論における操作の一つ。名称はアラン・チューリングやチューリングマシンに因む。直感的に言え...
< 前の結果 | 次の結果 >