Final del 08/03/23 (Lógica y Computabilidad)
De Cuba-Wiki
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, <, +, .).
