SEARCH
You are in browse mode. You must login to use MEMORY

   Log in to start

level: Codificacion de programas

Questions and Answers List

level questions: Codificacion de programas

QuestionAnswer
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 GodelSea 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)