Final del 08/03/23 (Lógica y Computabilidad)

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