Teoría de la computación y verificación de programas
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Datos de publicación: |
La Plata :
[S.n.],
2010
|
| Edición: | 1a ed. |
| Series: | Facultad de Informática-U.N.L.P
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Resumen: | Contenido basado en las asignaturas Teoría de la Computación y Verificación de Programas, y Teoría de la Comutación y Verificación de Programas Avanzada, que los autores dictan a los alumnos de cuarto y quinto año dela Licenciatura en Informática. |
| Descripción Física: | 419 p. : il. ; 22 cm. |
| ISBN: | 978950340633 |
Tabla de Contenidos:
- I-Computabilidad y decidibilidad: Máquinas de Turing
- Lenguajes recursivos
- El problema de la detención
- Reducciones de problemas
- II-Complejidad computacional: Introducción a la complejidad temporal
- La clase NP -Introducción a la complejidad espacial
- Espacio logarítmico y polinomial
- III-Verificación de programas: Definiciones iniciales
- Verificaciones de programas secuenciales determinísticos
- Verificaciones de programas secuenciales no determinísticos -Verificación de programas concurrentes.