Cover Image

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

Saved in:
Bibliographic Details
Main Author: Iranzo, Pascual Julián
Other Authors: Alpuente Frasnedo, María
Format: Book
Language: Spanish
Published: Madrid : Pearson Educación, 2007.
Subjects:
Programación (Computadores electrónicos) > Fundamentos
Lenguajes de programación (Computadores electrónicos)
Programación estructurada
Notas Contenido:
  • Una panorámica de la programación declarativa
  • Sistemas formales, lógica y lenguajes de programación
  • De la demostración automática a la programación lógica: introducción y métodos semánticos
  • El principio de resolución de Robinson
  • Programación lógica
  • El lenguaje prolog: introducción
  • El lenguaje prolog: aspectos avanzados
  • Representación del conocimiento
  • Resolución de problemas
  • Programación lógica y tecnología software rigurosa
  • Fundamentos y notaciones matemáticas

Similar Items

Similar Items