bn:01644106n
Noun Concept
Categories: 計算理論の定理, スティーヴン・コール・クリーネ, 数理論理学, 数学に関する記事, 計算可能性理論
JA
Smn定理  sₘₙ定理  S-m-n定理
JA
smn定理 もしくはパラメータ定理 とは、再帰理論における定理であり、プログラミング言語(より一般化すれば、計算可能関数のゲーデル数)の基盤となっている。 Wikipedia
Definitions
Relations
Sources
JA
smn定理 もしくはパラメータ定理 とは、再帰理論における定理であり、プログラミング言語(より一般化すれば、計算可能関数のゲーデル数)の基盤となっている。 Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias