Diferencia entre revisiones de «Página principal»

De FdIwiki PDA
Saltar a: navegación, buscar
 
(No se muestran 34 ediciones intermedias de 4 usuarios)
Línea 10: Línea 10:
 
** Restricciones de dominio finito
 
** Restricciones de dominio finito
 
** Otros dominios de restricciones
 
** Otros dominios de restricciones
 +
* Programación lógico funcional (el sistema Frolog)
 +
* Programación concurrente en Erlang
  
== Proyectos del curso 2014/2015 ==
+
'''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: [https://github.com/ZuseDroid/Erlang/blob/master/mochila_simple.erl enlace]
 +
 
 +
'''Alguien se anima a hacer una versión concurrente de este algoritmo?'''
 +
 
 +
== (Algunos) proyectos del curso 2013/2014 ==
 +
* Calculadora de dietas (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:dietas.zip dietas.zip])
 +
* Juego de zorros y sabuesos (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:Zorros-y-sabuesos.zip zorros_y_sabuesos.zip])
 +
* Juego Chat Noir (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:Chat-noir.zip Chat-noir.zip chat-noir.zip])
 +
* Juego del Molinero (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:molinero.zip molinero.zip])
 +
* Juego de las Siete y Media (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:siete-y-media.zip siete-y-media.zip])
 +
* Planificador de horarios (accesible en http://gpd.sip.ucm.es/jaime/pda/proyectos/planificador-horarios.zip)
 +
* Puzzle lógico matemático (descargar [http://wikis.fdi.ucm.es/PDA/Archivo:puzzle.zip puzzle.zip])
 +
 
 +
 
 +
 
 +
== 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: [http://wikis.fdi.ucm.es/PDA/Archivo:autorizacion.zip 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 [http://es.wikipedia.org/wiki/Cube 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)
 +
 
 +
[http://wikis.fdi.ucm.es/PDA/Archivo:Mesenller.pdf PDF]
 +
 
 +
* '''Búsqueda de pareja''' (Luis Saavedra/Mayra Jumbo)
 +
 
 +
[http://wikis.fdi.ucm.es/PDA/Archivo:Busqueda_de_pareja.pdf PDF]
 +
 
 +
* '''Reanimator''' (Rosa Rodríguez Navarro)
 +
 
 +
[http://wikis.fdi.ucm.es/PDA/Archivo:Reanimator.pdf]

Última revisión de 14:30 25 may 2015

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]