Final del 23/10/18 (Lógica y Computabilidad)

De Cuba-Wiki
Revisión del 04:01 29 oct 2018 de 181.46.253.140 (discusión) (→‎Ejercicio 1)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 1

Dadas y fórmulas proposicionales que no comparten variables, demostrar que si es una tautología, es una tautología o es una tautología.

Ejercicio 2

Dado un lenguaje con igualdad, y un símbolo de función binaria. Dadas dos interpretaciones e , ambas con universo en el intervalo real abierto . En , es interpretada como el producto. En , es interpretada como la distancia (). Encontrar un enunciado que sea válido en una interpretación y no en la otra.

Ejercicio 3

a) Dar una noción de función parcial computable desde un programa

b) Demostrar que las funciones primitivas recursivas son computables.

Ejercicio 4

Demostrar que no es computable.