Diferencia entre revisiones de «Final del 08/03/23 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «Final del 08/03/2022, 2 hs, tomó Sergio Abriola: 1. Demostrar que la clase de funciones computables es una clase PRC. 2. Enunciar y demostrar el teorema de Rice. 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, <, +, .).») |
Sin resumen de edición |
||
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, <, +, .). |
Revisión actual - 12:20 9 mar 2023
Final del 08/03/2022, 2 hs, tomó Sergio Abriola:
1. Demostrar que la clase de funciones computables es una clase PRC.
2. Enunciar y demostrar el teorema de Rice.
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, <, +, .).