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 diferencias)
|
Revisión del 12:19 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, <, +, .).
