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

Por:

Llorens Largo, Faraón [autor]

Colaborador(es):

Molina Carmona, Rafael [autor]

Idioma: Español Detalles de publicación: [S.l.]: Universidad de Alicante, 1999Descripción: 200 páginas 17 x 24 cmTipo de contenido:

text

Tipo de medio:

no mediado

Tipo de soporte:

volumen

ISBN:

8479084723

Tema(s):

Clasificación CDD:

005.1 LLOp

Contenidos:

Lenguajes de programación.-- Perspectiva histórica y evolución de los lenguajes de programación.-- Concepto de paradigma de programación.-- Lenguajes de programación representativos de cada paradigma.-- Sintaxis de los lenguajes de programación.-- Semántica de los lenguajes de programación.-- Propiedades de un buen lenguaje de programación.-- El lenguaje C.-- El entorno del lenguaje C.-- Elementos del lenguaje C.-- Identificadores.-- Constantes.-- Variables.-- Tipos de datos.-- Expresiones y operadores.-- Instrucciones.-- Instrucciones de control.-- Funciones.-- Funciones de entrada/salida: La librería estándar.-- Vectores.-- Estructuras y uniones.-- Punteros y memorias.-- Tipos definidos por el usuarios: typedef.-- Ficheros.-- Eficiencia de algoritmos.-- Calculo teórico de la eficiencia temporal. Conceptos.-- Medidas asintóticas.-- Análisis de la eficiencia de los algoritmos.-- Construcción formal de algoritmos: especificación, verificación y derivación.-- Estados de un programa. Traza.-- Revisión de la lógica de primer orden.-- Especificación formal de algoritmos.-- Verificación formal de algoritmos.-- Verificación formal de algoritmos recursivos.-- Derivación formal de algoritmos.-- Algoritmos matemáticos. Numeral récipes en C.-- Sistemas de ecuaciones lineales.-- Integración numérica de funciones.-- Algunas particularidades de Numerical Recipes.-- Relación de problemas abordables con Numerical Recipes.-- Sintaxis del pseudocódigo.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura topográfica	Estado	Fecha de vencimiento	Código de barras
Libros	Biblioteca de Ciencias En biblioteca	Fac de Ciencias de la Ingeniería - Carrera de Ingenieria en Petroleo	005.1 LLOp (Navegar estantería(Abre debajo))	Disponible		BC0017217

Incluye figuras, tablas, cuadros

Lenguajes de programación.--
Perspectiva histórica y evolución de los lenguajes de programación.--
Concepto de paradigma de programación.--
Lenguajes de programación representativos de cada paradigma.--
Sintaxis de los lenguajes de programación.--
Semántica de los lenguajes de programación.--
Propiedades de un buen lenguaje de programación.--
El lenguaje C.--
El entorno del lenguaje C.--
Elementos del lenguaje C.--
Identificadores.--
Constantes.--
Variables.--
Tipos de datos.--
Expresiones y operadores.--
Instrucciones.--
Instrucciones de control.--
Funciones.--
Funciones de entrada/salida: La librería estándar.--
Vectores.--
Estructuras y uniones.--
Punteros y memorias.--
Tipos definidos por el usuarios: typedef.--
Ficheros.--
Eficiencia de algoritmos.--
Calculo teórico de la eficiencia temporal. Conceptos.--
Medidas asintóticas.--
Análisis de la eficiencia de los algoritmos.--
Construcción formal de algoritmos: especificación, verificación y derivación.--
Estados de un programa. Traza.--
Revisión de la lógica de primer orden.--
Especificación formal de algoritmos.--
Verificación formal de algoritmos.--
Verificación formal de algoritmos recursivos.--
Derivación formal de algoritmos.--
Algoritmos matemáticos. Numeral récipes en C.--
Sistemas de ecuaciones lineales.--
Integración numérica de funciones.--
Algunas particularidades de Numerical Recipes.--
Relación de problemas abordables con Numerical Recipes.--
Sintaxis del pseudocódigo.

No hay comentarios en este titulo.

para colocar un comentario.