Portada del sitio > BIBLIOTECA VIRTUAL M.C.H. > PROGRAMACIÓN LÓGICA TEORÍA Y PRÁCTICA
Grabar en formato PDF Imprimir este artículo Enviar este artículo a un amigo

PROGRAMACIÓN LÓGICA TEORÍA Y PRÁCTICA

El Director



La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica como lenguaje de programación. Esto incluye tanto la programación lógica (o relacional, que usa un lenguaje causal para programar y el principio de resolución como mecanismo de ejecución) como la funcional (que usa el lenguaje de las funciones matemáticas y la reducción de expresiones como mecanismo computacional).

Este libro aspira a desarrollar una presentación básica completa del paradigma de la programación lógica. Así, aunque se dedica una gran atención a los conceptos de base y se proporciona para ellos una formación en amplitud no exenta de profundidad, también se concede gran importancia a las aplicaciones prácticas.

CONTENIDO

1. Una panorámica de la programación declarativa
2. Sistemas formales, lógica y l en g u ajes de programación
3. De la demostración automática a la programación lógica (i): introducción y métodos semánticos
4. De la demostración automática a la programación lógica (ii): el principio de resolución de Robinson
5. Programación lógica
6. El lenguaje Prolog: Introducción
7. El lenguaje Prolog: Aspectos avanzados
8. Representación del conocimiento
9. Resolución de problemas
10. Programación lógica y tecnología Software rigurosa



Páginas : 495
Peso : 33mb.
Formato : PDF.
Edición : Primera
Año de Publicación :2007
ISBN : 978-84-8322-368-0
Editorial : Pearson
Autor: Pascual Julián Iranzo

Descargar | Download
| DEPOSITFILES | RAPIDGATOR | 4SHARED | FREAKSHARE | UPLOADSTATION |
































LEER MAS Y DESCARGAR

GUIA PARA SER MILLONARIO

DESCARGAR AHORA - CLICK AQUI

GANA $ 10 DIARIOS - TE EXPLICO CÓMO - CLICK AQUI

Ver en línea : http://universitaslibros.blogspot.c...

Este artículo tiene © del autor.

70

Comentar este artículo

   © 2003- 2015 MUNDO CULTURAL HISPANO

 


Mundo Cultural Hispano es un medio plural, democrático y abierto. No comparte, forzosamente, las opiniones vertidas en los artículos publicados y/o reproducidos en este portal y no se hace responsable de las mismas ni de sus consecuencias.

Visitantes conectados: 7

Por motivos técnicos, reiniciamos el contador en 2011: 3353759 visitas desde el 16/01/2011, lo que representa una media de 661 / día | El día que registró el mayor número de visitas fue el 25/10/2011 con 5342 visitas.


SPIP | esqueleto | Conectarse | Mapa del sitio | Seguir la vida del sitio RSS 2.0