Imatge de la portada
Codi QR

Programación lógica : teoría y práctica /

Contenido: 1. Una panorámica de la programación declarativa; 2. Sistemas formales, lógica y lenguajes 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 res...

Descripció completa

Guardat en:
Autor principal: Iranzo, Pascual Julián (autor)
Altres autors: Alpuente Frasnedo, María (autor) (autor)
Format: Llibre
Idioma:espanyol
Publicat: Madrid, España : Prentice-Hall, 2007, c2007
Matèries:
Programación Lógica (Software) - > Tema Principal
Programación (Software)
Desarrollo de Sistemas
Sistemas Computacionales
Ingeniería Computacional
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Sumari:Contenido: 1. Una panorámica de la programación declarativa; 2. Sistemas formales, lógica y lenguajes 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.
Descripció física:XXVI, 470 p.
ISBN:978-84-8322-368-0

Ítems similars