Historial de revisiones de «Final del 22/02/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.

6 mar 2023

  • actant 22:4122:41 6 mar 2023‎ 200.80.70.180 discusión‎ 426 bytes +426‎ 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»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_del_22/02/23_(Lógica_y_Computabilidad)»