Imagen de portada de Amazon
Imagen de Amazon.com
Imagen de Google Jackets

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

Por: Colaborador(es): 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.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura topográfica Estado Fecha de vencimiento Código de barras
Libros 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.

Servicios

X

Los usuarios deberán registrar sus datos personales en la ventanilla de atención para efectos de registro y acceso al servicio de las bibliotecas.

Con tecnología Koha