計算可能性理論を解説文に含む用語の検索結果の4ページ目

「計算可能性理論」を解説文に含む見出し語の検索結果(31～40/444件中)

形式言語 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/29 16:21 UTC 版)「計算可能関数」の記事における「形式言語」の解説詳細は「形式言語」を参照 計算可能性理論...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「決定不能な理論の例」の解説決定不能な理論を以下に挙げる一...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「計算機科学との関係」の解説計算機科学における計算可能性理論...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/10 14:50 UTC 版)「コンビネータ論理」の記事における「計算機科学におけるコンビネータ論理」の解説計算機科学...

計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を...

計算可能性理論において帰納的分離不能対（きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 16:14 UTC 版)「シミュレーション仮説」の記事における「CantGoTu（カントール-ゲーデル-チューリ...