「計算可能性」を解説文に含む見出し語の検索結果(21～30/643件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「計算機科学との関係」の解説計算機科学における計算可能性理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 05:31 UTC 版)「ゼノン機械」の記事における「ゼノン機械と計算可能性」の解説ゼノン機械はチューリング計算...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/08 15:15 UTC 版)「μ再帰関数」の記事における「他の計算可能性モデルとの等価性」の解説クリーネは以下の最終...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/02 18:18 UTC 版)「マクドナルド化」の記事における「計算可能性 (calculability)」の解説目標...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「計算可能性の性質」の解説上記で論じたように、タルスキの定理に...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「チューリングマシンの能力」の解説チューリングマシンは任...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「計算の形式モデル」の解説計算可能性理論の中心課題に答え...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「チューリング計算可能性の一般化」の解説Sacks (1990...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「他の分科の始まり」の解説アルフレッド・タルスキはモデル理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「名称問題」の解説数理論理学において、計算可能性とその一般化を...