Historial de revisiones de «Final del 08/03/23 (Lógica y Computabilidad)»

De Cuba-Wiki

Selección de diferencias: marca los botones correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

9 mar 2023

  • actant 12:2012:20 9 mar 2023‎ 200.80.70.180 discusión‎ 321 bytes +3‎ Sin resumen de edición deshacer
  • actant 12:1912:19 9 mar 2023‎ 200.80.70.180 discusión‎ 318 bytes +318‎ 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, <, +, .).»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_del_08/03/23_(Lógica_y_Computabilidad)»