Programación Declarativa Avanzada

 (Optativa, 2º ciclo, Ingeniería Informática)

 

RELACIÓN DE TRABAJOS MONOGRÁFICOS REALIZADOS DURANTE EL CURSO 2002-2003

Id./Grupo(dispo)                  Título                                                                                   Temática

G1           CD(doc,ppt)          Historia de la PD                                                                 Asp. Didac., Fundam.

G2           P                             Bases de Datos Deductivas                                                  P. Avanzada

G3           CD(ppt)                 Prog. Concurrente en Haskell                                               P. Avanzada/Extensiones

G4           P                             Extensiones de PL en para la Web                                        P.Avanzada/Extensiones

G5           D(doc,ppt)             Apl. de la PD a la  Criptografía                                            P. Avanzada

G6           P                             Prog. Lóg. O.O.                                                                     Extensiones

G7           CD(html)                Dr. Scheme                                                                            Fund./ Aspectos Didácticos

G8           CD,P                      TADs en Haskell.                                                                 Aspectos Dic./Prog. Avanzada

G9           CD(doc,ppt)          P.L. con Restricciones y Conc.                                             Extensiones/Prg. Avanzada

G10         P,CD(doc,ppt)       Fuzzy Prolog (prot. En Ciao)                                               Extensiones/Fundamentos

 G11        CD,doc,ppt            Lógica Ecuacional y Reescr.                                                  Fundamentos

G12         CD                          Prog. con Estructuras Incompletas                                       Prog. Avanzada

G13         CD,*.pl,P               Sistemas de Tipos en el Lambda-cálculo                              Fundamentos

G14         CD(doc,ppt)          Edulog                                                                                   Asp. Educativos/Prog. Avanzada

G15         CD(doc,ppt)          Aspectos educativos de la PD                                              Asp. Educativos

G16         D(*.ppt)                 Mónadas y Categorías                                                          Fundamentos

           

(I : Internet, D : disco, C : CD, P : papel)