• Presentación de la asignatura

      Queremos darte la bienvenida a la asignatura Programación Lógica (Programación Declarativa), perteneciente a la titulación de Ingeniería Informática, publicada como recurso educativo abierto (REA) de la Universidad Rey Juan Carlos. 

      Esta asignatura tiene como objeto introducir al alumnado en los aspectos fundamentales del paradigma de la programación declarativa: conceptos y características principales, diferencias con otros paradigmas, modo de funcionamiento, aplicaciones para las que resulta más adecuado, etc. Se introducen, en particular, los fundamentos, las herramientas y las técnicas básicas propias de los lenguajes lógicos.

      La asignatura forma parte, junto con Procesadores de Lenguajes (impartida en el segundo cuatrimestre del tercer curso de la titulación), de la materia denominada Lenguajes de Programación. Para seguir la asignatura es recomendable haber cursado con aprovechamiento las asignaturas básicas de Matemáticas e Informática impartidas en el primer curso de la titulación (en particular Lógica, Matemática discreta y Álgebra e Introducción a la programación) así como las asignaturas englobadas en las materias relativas a Programación y Algoritmia, especialmente Estructuras de Datos y Diseño y análisis de algoritmos.

      Finalmente, en la pestaña de "Materiales consolidados" podrás encontrar la colección de materiales en abierto, en la pestaña de "Temario" podrás verlos organizados por los temas de la asignatura.

    • Acceso a la Guía de la asignatura.