Página principal

De FdIwiki PDA
Saltar a: navegación, buscar

Bienvenidos a la Wiki de la asignatura de PDA

Ésta es una wiki experimental para la asignatura Programación Declarativa Avanzada (PDA) de la Facultad de Informática de la Universidad Complutense de Madrid.

Empezando

Temario de PDA

  • Programación con restricciones
    • Restricciones de dominio finito
    • Otros dominios de restricciones
  • Programación lógico funcional (el sistema Frolog)
  • Programación concurrente en Erlang

Nota: puede encontrarse material sobre estos temas en la página de la asignatura http://gpd.sip.ucm.es/jaime/pda/.

Recursos de programación en Erlang

Id añadiendo referencias/tutoriales que resulten útiles


Ejemplos de programación en Erlang

  • Problema de la mochila simple

Problema de la mochila simple en menos de 20 líneas (incluyendo espacios y comentarios). Os dejo el enlace a mi github ya que no deja subir archivos con .erl: enlace

Alguien se anima a hacer una versión concurrente de este algoritmo?

(Algunos) proyectos del curso 2013/2014


Autorización para difusión

  • Para que esta wiki siga creciendo con nuevos proyectos es necesario que las memorias presentadas incluyan expresamente una autorización firmada según este modelo: autorizacion.zip


Proyectos a realizar en el curso 2014/2015

  • Idea antigua: Laberinto tridimensional dinámico (Víctor Gutiérrez/Miguel Maldonado)

Nota: idea en construcción. Puede, y seguramente lo haga, contener errores conceptuales y definiciones poco claras.

Concepto

El problema consiste en resolver un laberinto que cambia con el tiempo. Tomando como idea la película Cube, se tendrán un número de habitaciones (cubos) contiguas de forma que compongan un cubo mayor. Cada una de estas habitaciones tendrá una puerta en cada una de sus seis paredes que dará acceso a otra habitación. Algunas de estas habitaciones serán inaccesibles, por lo que no se podrá pasar a través de ellas. Además, cada cierto tiempo, las habitaciones se reordenarán, cambiando su posición. Las coordenadas de entrada y salida serán fijas.

  • Sistema de mensajería instantánea (Mésenller) (Víctor Gutiérrez/Miguel Maldonado)

PDF

  • Búsqueda de pareja (Luis Saavedra/Mayra Jumbo)

PDF

  • Reanimator (Rosa Rodríguez Navarro)

[1]