Computabilidad, complejidad computacional y verificación de programas

By: Contributor(s): Material type: TextTextPublication details: La Plata : Edulp, 2013Edition: 1a edDescription: 308 pISBN:
  • 9789503409701
Subject(s):
Contents:
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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.2.4 ROS (Browse shelf(Opens below)) Checked out 14/03/2025 DIF-04495

Impresión de la edición electrónica.-- Incluye bibliografía.

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