Smn theorem
Das -Theorem ist ein zentrales Resultat der Berechenbarkeitstheorie. Es stellt ein Hilfsmittel in der Informatik dar, mit dem man den Code eines Programms in Abhängigkeit von Parametern berechnen kann, und wurde erstmals durch Stephen C. Kleene bewiesen (vgl. Rekursionssatz). Ein Resultat daraus ist, dass eine Programmiersprache, die zur Laufzeit generierten Code ausführen kann, Currying unterstützen kann.
known for
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
Smn theorem
Das -Theorem ist ein zentrales Resultat der Berechenbarkeitstheorie. Es stellt ein Hilfsmittel in der Informatik dar, mit dem man den Code eines Programms in Abhängigkeit von Parametern berechnen kann, und wurde erstmals durch Stephen C. Kleene bewiesen (vgl. Rekursionssatz). Ein Resultat daraus ist, dass eine Programmiersprache, die zur Laufzeit generierten Code ausführen kann, Currying unterstützen kann.
has abstract
Das -Theorem ist ein zentrales ...... n, Currying unterstützen kann.
@de
In teoria della ricorsione, il ...... codifica le altre m variabili.
@it
Le théorème d'itération est dû ...... mn dans sa forme paramétrisée.
@fr
Na teoria da computabilidade, ...... ivres, deixando o resto livre.
@pt
smn定理 (英: smn theorem) もしくはパラメ ...... 個の自由変数に束縛し、残りの変数を自由変数のままにしておく。
@ja
В теорії обчислень smn-теорема ...... грамі і залишає інші вільними.
@uk
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,003,642,211
Link from a Wikipage to another Wikipage
title
Kleene's s-m-n Theorem
@en
urlname
Kleeness-m-nTheorem
@en
wikiPageUsesTemplate
subject
hypernym
comment
Das -Theorem ist ein zentrales ...... n, Currying unterstützen kann.
@de
In teoria della ricorsione, il ...... codifica le altre m variabili.
@it
Le théorème d'itération est dû ...... mn dans sa forme paramétrisée.
@fr
Na teoria da computabilidade, ...... hen Cole Kleene (Kleene 1943).
@pt
smn定理 (英: smn theorem) もしくはパラメ ...... 個の自由変数に束縛し、残りの変数を自由変数のままにしておく。
@ja
В теорії обчислень smn-теорема ...... грамі і залишає інші вільними.
@uk
label
Smn theorem
@en
Smn-Theorem
@de
Smn-теорема
@uk
Smn定理
@ja
Teorema S m n
@it
Teorema Smn
@pt
Théorème d'itération
@fr