Diferencia entre revisiones de «Final del 05/08/13 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «Ej 1 Probar que la clase de funciones computables es una clase '''PRC'''») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
Ejercicio 1 | |||
Probar que la clase de funciones computables es una clase '''PRC''' | 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 | |||
Revisión del 23:29 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
