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.