「計算可能性理論」を解説文に含む見出し語の検索結果(21～30/444件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「有限状態機械の能力」の解説有限状態機械が受容する言語の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「戦後論理学」の解説第二次世界大戦後、数理論理学は4つの互...
ナンバリング（numbering）一般番号を割り振ること。漏れなく重複無く番号を与え識別を容易にすることが目的である。書類や券面に番号を刻印するための事務機器。一定回数刻印する毎に自動的に番号が1繰り...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/02/03 07:15 UTC 版)「K自明集合」の記事における「1999年から2008年における発展」の解説計算可能性理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/21 08:32 UTC 版)「数論の有効な結果」の記事における「理論的な問題」の解説有効な結果を導出することは困難で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/28 02:38 UTC 版)「複雑性クラス」の記事における「複雑性クラス間の関係」の解説以下の表はいくつかの問題（ま...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/19 12:01 UTC 版)「数学」の記事における「計算機」の解説人類がコンピュータを最初に思いついたとき（それは実...
ナビゲーションに移動検索に移動計算可能性理論において、コンプリート・ナンバリング（英: complete numbering）はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリ...
ナビゲーションに移動検索に移動計算可能性理論において、コンプリート・ナンバリング（英: complete numbering）はアクセプタブル・ナンバリングの一般化であり、1963年にアナトリ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「再帰理論」の解説詳細は「再帰理論」を参照 再帰理論（計算可...