Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 12:19 9 mar 2023 200.80.70.180 discusión creó la página Final del 08/03/23 (Lógica y Computabilidad) (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, <, +, .).»)