Final del 23/10/18 (Lógica y Computabilidad)
De Cuba-Wiki
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.