• Presentación de la asignatura

      Te damos la bienvenida a la asignatura Programación Declarativa, perteneciente al Grado en Ingeniería Informática, publicada como recurso educativo abierto (REA) de la Universidad Rey Juan Carlos. 

      Se trata de una asignatura obligatoria, de 6 créditos ECTS, que se imparte en el primer cuatrimestre del tercer curso del grado. Tiene por objeto introducir 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.

      La programación declarativa es un paradigma de programación de alto nivel, con base matemática, cuya característica principal reside en que sus programas se centran en declarar qué hay que computar (describiendo la componente lógica del problema) sin entrar en cómo hacerlo (ignorando la componente de control). Los programas declarativos son concisos, potentes y fiables, así como fáciles de mantener, reutilizar, extender, verificar y paralelizar.

      Existen varios subparadigmas dentro del marco de la programación declarativa. En esta asignatura se introducen los fundamentos, las herramientas y las técnicas básicas propias de dos de las principales clases de programación declarativa existentes: la programación funcional (ilustrada mediante el lenguaje Scala) y la programación lógica (lenguaje Prolog).

      En cuanto a los materiales docentes, en la pestaña de "Materiales consolidados" podrás encontrar la colección de materiales en abierto, y en la pestaña de "Temario" podrás verlos organizados de acuerdo con los temas de la asignatura.

    • Guía de la asignatura