Diferencia entre revisiones de «Final del 20/02/14 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=Ejercicio 1= Enunciar y demostrar el teorema de Rice =Ejercicio 2= Probar que TOT no es ce ni co-ce =Ejercicio 3= Enunciar y demostrar el teorema de la deducción =E...») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
{{Back|Lógica y Computabilidad}} | |||
=Ejercicio 1= | =Ejercicio 1= | ||
