« Home | Enlaces interesantes » | Evaluación » | Bibliografía » | Profesores » | Información general » | Nuevo blog »

Hecho en clase / propuesto

NOTA: Los ejercicios resueltos pueden entregarse por escrito hasta la siguiente clase.

  1. Presentación. 23-9 mañana, 21-9 tarde. Ejercicios propuestos
  2. Preliminares. 25-9 mañana, 21-9 tarde.
  3. Problemas. Representación de datos. RAM. 25-9 mañana, 23-9 tarde. Ejercicios propuestos
  4. Programas. 30-9 mañana, 30-9 tarde. Ejercicios propuestos
  5. Numerabilidad. 2-10 mañana, 28-9 tarde.
  6. Diagonalización. 2-10 mañana, 28-9 tarde.
  7. Funciones calculables. Problemas decidibles. 7-10 mañana, 5-10 tarde.
  8. El problema de parada es indecidible. 9-10 mañana, 5-10 tarde
  9. El problema de parada es indecidible. 10-10 mañana, 7-10 tarde Ejercicios propuestos
  10. Propiedades de decidibles y semidecidibles. 21-10 mañana, 19-10 tarde (Ejercicio tarde: demostrar que K es semidecidible)
  11. Propiedades de decidibles y semidecidibles. 23-10 mañana, 19-10 tarde (Ejercicio mañana: demostrar que K es semidecidible)
  12. Propiedades de decidibles y semidecidibles. 23-10 mañana, 21-10 tarde
  13. Ejercicios del tema 3: 3.1, 3.7, 3.16 y 3.12. 28-10 mañana, 26-10 tarde Propuestos: 3.2, 3.8 y 3.17
  14. Reducciones: definición y ejemplos. 30-10 mañana, 26-10 tarde
  15. Reducciones: primeras propiedades. 30-10 mañana, 28-10 tarde
  16. Reducciones: ejemplos. 4-11 mañana, 4-11 tarde (Propuestos tarde: 4.5 y 4.6)
  17. Reducciones: ejemplos (4.2, 4.3). 9-11 mañana, 4-11 tarde (Propuestos mañana: 4.5 y 4.6)
  18. Teorema de Rice. 6-11 mañana, 9-11 tarde
  19. Ejercicios del capítulo 4. 11-11 mañana, 13-11 tarde
  20. Otros problemas indecidibles. 13-11 mañana, 16-11 tarde
  21. Complejidad. 13-11 mañana, 16-11 tarde
  22. Complejidad. Codificación de datos. 18-11 mañana, 23-11 tarde
  23. Complejidad. Codificación de datos. 20-11 mañana, 20-11 tarde
  24. P versus EXP. 20-11 mañana, 18-11 tarde
  25. NP. 25-11 mañana, 25-11 tarde
  26. NP. 27-11 mañana, 30-11 tarde
  27. NP. 27-11 mañana
  28. NP, P y EXP. 2-12 mañana, 30-11 tarde Propuesto: Demostrar que TSP está en NP
  29. Reducciones. Primer ejemplo. 4-12 mañana, 2-12 tarde Propuesto: Demostrar que la alternativa vista en clase no funciona
  30. Propiedades de las reducciones. Ejemplo de HAMconOrigen. 4-12 mañana, 9-12 tarde
  31. NP-completos. 9-12 mañana, 14-12 tarde
  32. Algunos NP-completos. 11-12 mañana, 14-12 tarde
  33. Algunos NP-completos. 11-12 mañana, 16-12 tarde
  34. Ejercicios de NP-completos: 63, 69b. 16-12 mañana, 16-12 tarde
  35. Ejercicios de NP-completos: 69b, 65, 51a. 18-12 mañana
  36. Ejercicios de NP-completos: 69b, 65, 51a. 18-12 mañana
  37. Ejercicios de NP-completos: 11.1, 11.4. 8-1 mañana, 11-1 tarde
  38. Ejercicios de NP-completos: dHAM, 53, 49. 8-1 mañana, 11-1 tarde Propuesto: 72a
  39. Ejercicios. 24a, 25. 13-1 mañana
  40. Ejemplo de examen. 15-1 mañana, 13-1 tarde
  41. Ejemplo de examen. 15-1 mañana

Etiquetas: