Diferencia entre revisiones de «Final del 05/08/13 (Lógica y Computabilidad)»
De Cuba-Wiki
Sin resumen de edición |
Sin resumen de edición |
||
| Línea 9: | Línea 9: | ||
Ejercicio 3 | Ejercicio 3 | ||
Usando el '''Teorema de Correctitud''' de la lógica proposicional probar que si | Usando el '''Teorema de Correctitud''' de la lógica proposicional probar que si <math>\Gamma</math> es satisfactible entonces <math>\Gamma</math> es consistente. | ||
Revisión del 23:31 5 ago 2013
Ejercicio 1
Probar que la clase de funciones computables es una clase PRC
Ejercicio 2
Definir conjunto de índices. Enunciar y demostrar el Teorema de Rice
Ejercicio 3
Usando el Teorema de Correctitud de la lógica proposicional probar que si es satisfactible entonces es consistente.
