| 000 | 02715nam a2200361 a 4500 | ||
|---|---|---|---|
| 003 | CO-SiCUC | ||
| 005 | 20240220124440.0 | ||
| 007 | ta | ||
| 008 | 181210s2014 sp gr 0001fdspa d | ||
| 020 | _a9788415452324 | ||
| 040 |
_aCO-SiCUC _bspa _cCO-SiCUC _erda |
||
| 041 | 0 | _aspa | |
| 043 | _ae-sp--- | ||
| 082 | 0 | 4 |
_a005.1 _bM378 2012 _223 |
| 100 | 1 |
_aMart O̕liet, Narciso _4aut _eautor _933800 |
|
| 245 | 1 | 0 |
_aAlgoritmos correctos y eficientes : _bdiseño razonado ilustrado con ejercicios / _cNarciso Marti Oliet, Clara Segura y Alberto Verdejo. |
| 250 | _aPrimera edición. | ||
| 264 | 1 |
_aMadrid : _bGarceta Grupo Editorial, _c©2012. |
|
| 300 |
_a236 páginas ; _c26 cm |
||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _asin mediación _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 504 | _aIncluye referencias bibliográficos: páginas 235-236 | ||
| 505 | 0 | _a1. Especificación de algoritmos -- 2. Verificación -- 3. Análisis de complejidad -- 4. Derivación de algoritmos iterativos -- 5. Derivación de algoritmos recursivos. | |
| 520 |
_aEste libro de ejercicios sobre diseño de algoritmos correctos y eficientes es el resultado de la actividad docente de sus autores, profesores de asignaturas de programación durante muchos años en la Universidad Complutense de Madrid, e intenta paliar el déficit de material docente sobre especificación y verificación formal de programas disponible en castellano.
Se hace especial hincapié en la derivación de programas a partir de su especificación. La derivación consiste en la construcción sistemática del programa a partir de su especificación, de forma que se garantiza que al final de tal construcción el algoritmo cumple la especificación y, por tanto, es automáticamente correcto con respecto a esta. También se introducen los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente es asimismo útil para construir programas que además de correctos sean eficientes.
Cada capítulo empieza con una breve introducción para repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios; sigue con una serie de ejercicios resueltos con detalle y de dificultad creciente; y acaba proponiendo nuevos ejercicios que deberían ser resueltos por el estudiante interesado.
_cEl texto. |
||
| 590 | _aIngeniería de Sistemas | ||
| 650 | 0 | 4 |
_aAlgoritmos (Computadores). _932544 |
| 650 | 0 | 4 |
_aEstructura de datos (Informática). _926328 |
| 650 | 0 | 4 |
_aMatemáticas computacionales. _933801 |
| 700 | 1 |
_aSegura, Clara _4aut _eautora _933802 |
|
| 700 | 1 |
_aVerdejo, Alberto _4aut _eautor _933803 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c32967 _d32968 |
||