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.

• 22:41 6 mar 2023 200.80.70.180 discusión creó la página Final del 22/02/23 (Lógica y Computabilidad) (Página creada con «Final LyC primer fecha febrero 2023 (22/2/2023), tomó Sergio, éramos 6 creo, escrito 2hs, enunciado: 1) definir halt y probar que no es computable 2) enunciar y demostrar el teorema de rice 3) demostrar que si un conjunto gamma de formulas proposicionales es satisfacible entonces es consistente 4) demostrar que existen modelos no estándar (en lógica de primer orden) de la aritmética Cada ejercicio valía lo mismo»)