Final del 05/03/20 (Lógica y Computabilidad)

De Cuba-Wiki
Revisión del 23:53 5 mar 2020 de Heapify (discusión | contribs.) (Página creada con «=Ejercicio 1= Enuncie y demuestre el Teorema de la Recursión. =Ejercicio 2= Defina HALT, y pruebe que no es computable. =Ejercicio 3= Enuncie y demuestre el Lema de Lind…»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 1[editar]

Enuncie y demuestre el Teorema de la Recursión.

Ejercicio 2[editar]

Defina HALT, y pruebe que no es computable.

Ejercicio 3[editar]

Enuncie y demuestre el Lema de Lindenbaum.

Ejercicio 4[editar]

Demostrar que existen modelos no estándar de la aritmética.

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Final_del_05/03/20_(Lógica_y_Computabilidad)&oldid=13176»