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, <, +, .).
