level: Codificacion de programas
Questions and Answers List
level questions: Codificacion de programas
Question | Answer |
---|---|
Codificación de pares (<,>) | La codificación de pares es la función <,>:NxN->N / <x,y> = 2^x (2+1) - 1 |
Numeración de Godel | Sea k∈/N |
Función |.| | Dado x = [a1,...,ak] |.|:N->N / ||x|=long[a1,...,ak]=k ||0| = 0 ||1| = 1 |
Función .[.] | .[.]:N->N / x[i] = v_pi(x) |