Descargar gratis Algoritmos Correctos y Eficientes en digital de Narciso Martí Oliet de la editorial Garceta
- Nombre del libro: Algoritmos Correctos y Eficientes
- Autor: Narciso Martí Oliet
- Día de publicación libro: 2022-02-08
- Editorial: Garceta
- Idioma: Español
- Género o Colección: Educativo
- ISBN: 9788415452324
- Número de páginas: 246 (91,02 MB)
- Incluye un resumen de 10 páginas
- Descripción o resumen del libro: Este 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. Contenido especificación de algoritmos 1.1. Introducción1.2. Ejercicios resueltos 1.3. Ejercicios propuestos verificación 2.1. Introducción2.1.1. Reglas básicas de verificación 2.1.2. Precondición más débil 2.1.3. Reglas específicas 2.1.4. Verificación de algoritmos recursivos 2.2. Ejercicios resueltos 2.3. Ejercicios propuestos análisis de complejidad 3.1. Introducción3.2. Ejercicios resueltos 3.3. Ejercicios propuestos derivación de algoritmos iterativos 4.1. Introducción4.2. Ejercicios resueltos 4.3. Ejercicios propuestos derivación de algoritmos recursivos 5.1. Introducción5.1.1. Análisis por casos y composición 5.1.2. Técnicas de inmersión 5.1.3. Técnica de desplegado y plegado 5.1.4. Transformación de recursivo l
- Tiempo estimado de lectura: 15H59M24S
- Otras categorías, géneros o colecciones: Ingeniería en Computación e Informática
- Formatos de lectura disponibles: TXT, PDF, AEH, DOC, CSV, DOCX, WORD, EPUB, OEB, PPT. Comprimidos en LIT, RAR, TAR, ZIP, OEB, LZMA
- Servidores de descarga: WeTransfer, Apple iCloud, Nullupload.com, MejorTorrent, Jirafeau, Microsoft OneDrive, Amazon Drive, SendThisFile, Dropbox
- Encuadernación: Tapa Blanda Bolsillo
- Precio aproximado: 3,56 USD (dólares americanos)
- Dimensiones: 155,7x146,23x7,37mm
- Peso: 162,09g
- Impreso por: Cartagena de Indias
- Publicado en: Argentina
- Valoración del libro: 7,03 de 10
- Votos: 1530
- Reseñado por: Enerina Veronica Graue Koulavongsa
- Valoración a la reseña: 8,62 de 10
- Fecha de la reseña: 2022-03-04
- Fecha publicación de este artículo: 2022-03-18
- Última actualización: 2022-04-07
Votar:
