Final del 13/04/15 (Lógica y Computabilidad)

De Cuba-Wiki
Revisión del 16:12 13 abr 2015 de 157.92.4.71 (discusión) (Página creada con «== Ejercicio 1 == Demostrar que una función es primitiva recursiva si pertenece a toda clase PRC. == Ejercicio 2 == Enunciar y demostrar el Teorema de Rice. == Ejercicio 3...»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 1[editar]

Demostrar que una función es primitiva recursiva si pertenece a toda clase PRC.

Ejercicio 2[editar]

Enunciar y demostrar el Teorema de Rice.

Ejercicio 3[editar]

Usando el teorema de correctitud de la lógica proposicional, probar que si G es un conjunto de fórmulas satisfacible, entonces es consistente.

Ejercicio 4[editar]

Sea L={0,S,<,+,·} con igualdad y sea N={N,0,S,<,+,·} la L-estructura de primer orden con la interprestación normal. Mostrar que existe un modelo de la Teoría de N en donde existe un elemento inalcanzable (Desde el 0, usando la función sucesor S).