Verificación formal de algoritmos ejercicios resueltos
Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Un texto con ejercicios resueltos, que completamente a los libros más teóricos, entendiendo que estos son fundamentales. Un libro que les ayude a seguir el proceso de reso...
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Cádiz :
Servicio de Publicaciones de la Universidad de Cádiz
2010.
|
| Edición: | 1a. ed |
| Colección: | Manuales. Ingenierías y arquitectura.
|
| Materias: | |
| Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=206002 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
| Sumario: | Con este libro se intenta cubrir una de las necesidades que los alumnos demandan año tras año en el aprendizaje de sus materias. Un texto con ejercicios resueltos, que completamente a los libros más teóricos, entendiendo que estos son fundamentales. Un libro que les ayude a seguir el proceso de resolución de problemas y les guíe en el aprendizaje de esta materia que, al ser tan compleja, siempre les supone un mayor esfuerzo. De esta forma, ser pretende que esta obra se convierta en una herramienta útil y casi imprescindible para los estudiantes, permitiendo abordar el estudio de la "verificación formal de algoritmos" a partir de los principios fundamentales para su aprendizaje y su aplicacióna diversos ejercicios, detallando los razonamientos sobre su corrección. Es por ello, que el texto comienza con una pequeña introducción teórica sobre la verificación formal de algoritmos y continúa con la demostración formal de numerosos fragmentos de código, tantos iterativos como recursivos. Para evitar ceñirnos a ningún lenguaje de programación concreto, los algoritmos se describen en pseudocódigo, si bien se enmarcan dentro del paradigma de los lenguajes imperativos. Para profundizar más en el estudio de la corrección de algoritmos se puede consultar, como continuación a esta obra, el libro "Corrección de algoritmos complejos. Verificación formal", en el que se presenta la resolución de algoritmos iterativos de mayor complejidad. |
|---|---|
| Notas: | Índice. |
| Descripción Física: | 240 p. |
| ISBN: | 9788498282641 |
