TY  - BOOK
AU  - Rosenfeld,Ricardo Fabián
AU  - Irazábal,Jerónimo
TI  - Computabilidad, complejidad computacional y verificación de programas
T2  - Libros de Cátedra
SN  - 9789503409701
PY  - 2013///
CY  - La Plata
PB  -  Edulp
KW  - VERIFICACIÓN DE PROGRAMAS
KW  - COMPLEJIDAD COMPUTACIONAL
KW  - TEORÍA DE LA COMPUTABILIDAD
N1  -  Prólogo  --   -- Parte 1. Computabilidad  -- Clase 1. Máquinas de Turing  -- Clase 2. Jerarquía de la computabilidad  -- Clase 3. Indecidibilidad  -- Clase 4. Reducciones de problemas  -- Clase 5. Misceláneas de computabilidad -- Notas y bibliografía para la Parte 1  --   -- Parte 2. Complejidad computacional  -- Clase 6. Jerarquía de la complejidad temporal  -- Clase 7. Las clases P y NP  -- Clase 8. Problemas NP-completos  -- Clase 9. Otras clases de complejidad  -- Clase 10. Misceláneas de complejidad computacional  -- Notas y bibliografía para la Parte 2  --   -- Parte 3. Verificación de programas  -- Clase 11. Métodos de verificación de programas  -- Clase 12. Verificación de la correctitud parcial  -- Clase 13. Verificación de la terminación  -- Clase 14. Sensatez y completitud de los métodos de verificación  -- Clase 15. Misceláneas de verificación de programas  -- Notas y bibliografía para la Parte 3  --   -- Epílogo  --   -- Índice de definiciones  -- Índice de teoremas  -- Índice de ejemplos  -- Índice de ejercicios
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=387
ER  -