Ir al contenido

Documat


Programación: formalización, análisis y reutilización de algoritmos matemáticos

Imagen de portada del libro Programación

Información General

Resumen

  • El presente volumen nace como respuesta a las necesidades de los estudiantes de matemáticas. No obstante, la utilidad del texto va mucho más allá: se ofrece una visión global de las herramientas formales para la construcción de programas, con especial énfasis en los algoritmos matemáticos, recogiendo el conocimiento que sobre programación formal debe tener no sólo todo matemático, sino también cualquier lector interesado en la formalización del desarrollo de sistemas informáticos. El texto presenta, además, los principales paradigmas de programación y sus lenguajes más representativos, con un tratamiento más profundo del lenguaje C. También muestra varios ejemplos del proceso completo de construcción de algoritmos, utilizando para ello los algoritmos numéricos que ofrece una librería matemática. Cada capítulo está complementado con un buen número de ejemplos, de manera que se cubren los aspectos tanto teóricos como prácticos.

Otros catálogos

Índice

  • CAPÍTULO I: Lenguajes de programación.
    CAPÍTULO II: El lenguaje C.
    CAPÍTULO III: Eficiencia de algoritmos.
    CAPÍTULO IV: Construcción formal de algoritmos: especificación, verificación y derivación.
    CAPÍTULO V: Algoritmos matemáticos.
    Numerical recipes en C.
    Anexo. Sintaxis del pseudocódigo
    Bibliografía



Fundación Dialnet

Mi Documat

Opciones de libro

Opciones de compartir

Opciones de entorno