Historial de revisiones de «Final del 22/12/22 (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:4722:47 6 mar 2023200.80.70.180 discusión 617 bytes +617 Página creada con «oral con Ariel: De computabilidad: Teorema de Rice: lo que es un conjunto de índices, dar un conjunto que sí lo sea, uno que no. Me preguntó si el conjunto de índices asociado a {HALT} es o no es computable. Demostración de Rice. Lo que es una clase PRC. Me preguntó si hay un sistema de funciones y formas de combinarlas, de modo que obtengamos las funciones computables. Teorema de Cantor. De Lógica: Teorema de compacidad, aplicación a modelos arbitrariamen…»