Weblio 辞書 > 辞書・百科事典 > ナンバリング (計算可能性理論)の解説 > ナンバリング (計算可能性理論)の全文検索
「ナンバリング (計算可能性理論)」を解説文に含む見出し語の検索結果(11~16/16件中)

ゲーデル数(ゲーデルすう、英: Gödel number)は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...
ゲーデル数(ゲーデルすう、英: Gödel number)は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
計算可能性理論において、ライス=シャピロの定理(英: Rice-Shapiro theorem)とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
計算可能性理論において、ライス=シャピロの定理(英: Rice-Shapiro theorem)とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
< 前の結果 | 次の結果 >




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS