Programación : formalización: de algoritmos matemáticos, análisis y reutilización / Faraón Llorens Largo ...[et al].

Format:

Book

Contributor:

Llorens Largo, Faraón, aut.

e-libro, Corp.

Series:

Textos docentes (Alicante, Spain)

Textos docentes

TD TextosDocentes

Language:

Spanish

Subjects (All):

Algoritmos.

Programación de computadoras.

Algorithms.

Numerical analysis--Data processing.

Local Subjects:

Algoritmos.

Programación de computadoras.

Algorithms.

Numerical analysis--Data processing.

Genre:

Libros electronicos.

Physical Description:

185 p.

Place of Publication:

Alicante : Universidad de Alicante, Servicio de Publicaciones, 2002.

Language Note:

Spanish

Summary:

El presente volumen nace como respuesta a las necesidades de los estudiantes de matematicas. No obstante, la utilidad del texto va mucho mas alla: se ofrece una vision global de las herramientas formales para la construccion de programas, con especial enfasis en los algoritmos matematicos, recogiendo el conocimiento que sobre programacion formal debe tener no solo todo matematico, sino tambien cualquier lector interesado en la formalizacion del desarrollo de sistemas informaticos. El texto presenta, ademas, los principales paradigmas de programacion y sus lenguajes mas representativos, con un tratamiento mas profundo del lenguaje C. Tambien muestra varios ejemplos del proceso completo de construccion de algoritmos, utilizando para ello los algoritmos numericos que ofrece una libreria matematica. Cada capitulo esta complementado con un buen numero de ejemplos, de manera que se cubren los aspectos tanto teoricos como practicos."

Notes:

Bibliographic Level Mode of Issuance: Monograph

ISBN:

1-282-53675-3

9786612536755

1-4416-4667-1

1-4135-7755-5