Libros ciclos formativos, grado superior de informática, ASIR, DAM, DAW, libros universitarios: libros ingeniería aeronáutica, libros ingeniería civil, ingeniería de caminos: ingeniería construcción, ingeniería sanitaria, ingeniería del transporte, ingeniería hidráulica, territorio, urbanismo, materiales de construcción, libros ingeniería geológica: geotecnia, expresión gráfica, proyectos, libros ingeniería mecánica: estructuras, resistencia de materiales, libros ingeniería eléctrica, libros ingeniería electrónica: labview, libros termodinámica, libros de electricidad, libros de construcción, libros arquitectura, libro de ciencias: matemáticas: álgebra, cálculo, matemáticas avanzadas, estadística, probabilidad, big data, tratamiento de datos, econometría, química, física, libros contabilidad, PGC, libros finanzas, organización empresas, marketing, libros economía, libros ciencias sociales, libros educación infantil, libros técnicos y reglamentos: eléctricos, construcción, libros informática, computación, libros ciencias de la salud

Algoritmos correctos y eficientes. Formato electrónico

Narciso Martí Oliet, Clara Segura, Alberto Verdejo

Páginas: 246

Fecha: 2012

ISBN: 978-84-1545-237-9

Precio: 7,74 € IVA incluido  

Solicite su ejemplar a pedidos@garceta.es

Recomienda este libro

Otros libros relacionados
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
  1. Especificación de Algoritmos
  2. 1.1. Introducción
    1.2. Ejercicios resueltos
    1.3. Ejercicios propuestos

  3. Verificación
  4. 2.1. Introducción
      2.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

  5. Análisis de complejidad
  6. 3.1. Introducción
    3.2. Ejercicios resueltos
    3.3. Ejercicios propuestos

  7. Derivación de algoritmos iterativos
  8. 4.1. Introducción
    4.2. Ejercicios resueltos
    4.3. Ejercicios propuestos

  9. Derivación de algoritmos recursivos
  10. 5.1. Introducción
      5.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 lineal a iterativo
    5.2. Ejercicios resueltos
    5.3. Ejercicios propuestos

    Bibliografía
Libros técnicos y Reglamentos para profesionales, Ingenieros, Arquitectos e Instaladores del sector eléctrico (electricidad), construcción, climatización Contabilidad, Plan general de Contabilidad y Pymes. Libros para Ciclos Formativos y Programas de Cualificación Profesional Inicial, PCPI, de Peluquería e Informática. Libros universitarios de Ciencias, físico-química, químico-física, Ingeniería, Matemáticas, Estadística, Software SPSS

Política de Cookies

Utilizamos cookies propias y de terceros para mejorar nuestros servicios y mostrarle publicidad relacionada con sus preferencias mediante el análisis de sus hábitos de navegación.
Puede obtener más información consultando nuestra Política de Cookies y puede cambiar su configuración editando las Preferencias.

Cookies necesarias para el correcto uso de la web, como por ejemplo inicio de sesión, autenticación o seguridad.

Permiten medir, de forma anónima, el número de visitas o la actividad. Gracias a ellas podemos mejorar constantemente introduciendo mejoras en función del análisis de los datos de uso que hacen los usuarios del servicio.