Buenas, dejo el parcial que tomaron el sábado.
Ejercicio 1.
Decidir si el siguiente conjunto es i) p.r, ii) c.e. y co-c.e. iii) sólo c.e., iv) sólo co-c.e. o v) ni c.e. ni co-c.e.
tal que no tiene ni etiquetas ni pseudoinstrucciones y con
Ejercicio 2.
Decidir si el siguiente conjunto es i) p.r, ii) c.e. y co-c.e. iii) sólo c.e., iv) sólo co-c.e. o v) ni c.e. ni co-c.e.
tal que
Ejercicio 3.
Decidir si cada una de las siguientes afirmaciones es verdadera o falsa (justificar o dar demostración):
i) Si es un conjunto no computable, entonces no computable. ii) Si es un conjunto no computable, entonces no computable.
Ejercicio 4.
Decidir si el siguiente conjunto es i) p.r, ii) c.e. y co-c.e. iii) sólo c.e., iv) sólo co-c.e. o v) ni c.e. ni co-c.e.
tal que , tal que
|