Computabilidad, complejidad computacional y verificación de programas

Título:

Computabilidad, complejidad computacional y verificación de programas

Autor:

Rosenfeld, Ricardo Fabián

Colaborador:

Irazábal, Jerónimo

Temas:

VERIFICACIÓN DE PROGRAMASCOMPLEJIDAD COMPUTACIONALTEORÍA DE LA COMPUTABILIDAD

Edición:

1a ed.

Medio:

Soporte electrónico

URL/DOI:

http://sedici.unlp.edu.ar/handle/10915/27887

Serie:

Libros de Cátedra

Extensión:

1 archivo (2,48 MB)

ISBN:

9789503409701

Idioma:

Español

Publicación:

La Plata : Edulp, 2013

Puede solicitar más fácilmente el ejemplar con:

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