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

De Cuba-Wiki

Ejercicio 1[editar]

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[editar]

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[editar]

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

b) Demostrar que las funciones primitivas recursivas son computables.

Ejercicio 4[editar]

Demostrar que no es computable.