Edición de «Final del 08/03/23 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 2: | Línea 2: | ||
1. Demostrar que la clase de funciones computables es una clase PRC. | 1. Demostrar que la clase de funciones computables es una clase PRC. | ||
2. Enunciar y demostrar el teorema de Rice. | 2. Enunciar y demostrar el teorema de Rice. | ||
3. Enunciar y demostrar el Teorema de Compacidad para SP. | 3. Enunciar y demostrar el Teorema de Compacidad para SP. | ||
4. Demostrar que existen modelos de primer orden no estandar para la aritmetica (0, S, <, +, .). | 4. Demostrar que existen modelos de primer orden no estandar para la aritmetica (0, S, <, +, .). |