Programación Declarativa Avanzada

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

 

RELACIÓN DE TRABAJOS MONOGRÁFICOS REALIZADOS DURANTE EL CURSO 2006-2007

 

Grupo(dispo)                        Título                                                                                   Temática

G1           doc,ppt, prog         Lenguajes Lógico-Funcionales                                              Fundamentos/Extensiones

G2           prog,ppt                 Bases de datos deductivas                                                    Extensiones/Prog. Avanzada

G3           ppt                         FROB                                                                                    Extensiones/Prog. Avanzada/Gráficos

G4           ppt                         Gráficos en Haskell                                                              Prog. Avanzada/Gráficos

G4           ppt                         WxHaskell                                                                            Prog. Avanzada

G5           ppt,pdf                   Generación del número p                                                      Prog. Avanzada

G6           pdf                          Ocaml                                                                                   Extensiones

G7           ppt                         Generación de números aleatorios                                         Prog. Avanzada

G8           ppt,prog                 HOpenGL                                                                             Gráficos/Prog. Avanzada

G9           ppt                         AlphaProlog                                                                          Fundamentos/Extensiones

G10         ppt                         Programación Genérica en Haskell                                        Fundamentos/Prog. Avanzada

G11         pdf,ppt                   Redes neuronales en Haskell                                                 Prog. Avanzada

G12         pdf,prog                 BLIP                                                                                     Extensiones/Prog. Avanzada

G13         ppt,prog                 Estructuras de datos en el lambda-cálculo                            Fundamentos         

G14         ppt                         Algoritmos para Sudokus                                                     Prog. Avanzada

G15         ppt,pdf                   Scala                                                                                      Extensiones/Prog.Avanzada

G16         doc                          Simulación y estudios estadísticos de de quinielas               Programación avanzada

G17         pdf                          Historia de la Programación Declarativa                               Fundamentos

G18         pdf                          Listas en diferencia en Prolog                                               Fundamentos/Prog. Avanzada

G19                                        Juegos gráficos                                                                      Extensiones/Gráficos

G20                                         Tipos y recursión en el lambda-cálculo                               Fundamentos