Asignatura optativa del plan nuevo de la
Escuela Universitaria de Informática
en la
Universidad de Oviedo.
Para realizar el trabajo teórico se tomará un artículo de un determinado campo como base y se realizará un pequeño ensayo sobre las ideas presentadas en dicho artículo. El trabajo constará de unas 10 páginas y para la evaluación se realizará una presentación pública de unos 10 minutos ante el resto de la clase.
En esta dirección se encuentra la lista de posibles artículos, aunque se admiten sugerencias por parte de los alumnos.
NOTA: La entrega de prácticas fuera de los plazos se penalizará a la hora de considerar el trabajo realizado
Junio | Septiembre | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
No Pr. | Sus. | Apr. | Not. | Sob. | MH | No Pr. | Sus. | Apr. | Not. | Sob. | MH | |
94-95 | 12 | 0 | 2 | 20 | 9 | 0 | 8 | 0 | ? | 4? | ? | ? |
95-96 | 16 | 2 | 5 | 17 | 12 | 2 | 12 | 1 | 4 | 2 | - | - |
96-97 | 14 | 0 | 10 | 15 | 19 | 0 | 10 | 0 | ? | 4? | ? | ? |
97-98 | 41 | 0 | 0 | 6 | 13 | 4 | 30 | 0 | 3 | 6 | 1 | - |
98-99 | 23 | 0 | 0 | 3 | 10 | 1 | 22 | 0 | 0 | 0 | 0 | 1 |
Encuesta sobre la asignatura:
Introducción al Lenguaje Haskell | Breve introducción al lenguaje en español, tomada principalmente de la "Gentle Introd..." de P. Hudak et al. |
Some common (and not so common!) Hugs errors | Lista de errores típicos del sistema Hugs con explicaciones de los posibles motivos |
Learning Haskell and Advanced Functional Programming | Contiene artículos y material didáctico para la enseñanza de Haskell |
Haskell in Education | Colección de cursos que imparten el lenguaje de programación Haskell |
Functional Programming Languages in Education | Surge a partir de una conferencia celebrada en 1995 y contiene una colección de material relacionado con los lenguajes funcionales en la educación. |
COMP1011 Computing 1A School of Computer Science and Engineering. University of New South Wales, Australia | Contiene material de clase para un curso de introducción a la informática utilizando Haskell como primer lenguaje de programación. Incluye la realización de programas CGI para las prácticas |
Logic Programming (15-810D). M. Pfenning Carnegie Mellon University | Curso avanzado impartido en 1995 |
Programación Declarativa. Dept. de Ingeniería Eléctrica, Electrónica y de Control de la UNED | Página del curso impartido por la UNED. Contiene material didáctico y enunciados de exámenes |
A Guide to Functional Programming on the Web | http://cm.bell-labs.com/cm/cs/who/wadler/guide.html. Página mantenida por P. Wadler que incluye las principales referencias relacionadas con la programación funcional |
Frequently Asked Questions for comp.lang.functional | http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html. Preguntas más habituales del grupo de noticias "comp.lang.functional" dedicado a la programación funcional |
Functional Programming Archive | http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/FuncArchive.html. Recopilación de artículos relacionados con la programación funcional |
Functional Programming | http://www.cs.nott.ac.uk/~czr/FP.html. Incluye gran cantidad de enlaces sobre la programación funcional mantenidos por C. Reinke |
The Abyss of Functional Language | http://pllab.kaist.ac.kr/~khchoi/fp.html Contiene multitud de enlaces relacionados con los lenguajes de programación funcional |
J. McCarthy | http://www-formal.stanford.edu/jmc/. Página personal de una de las personas clave en el desarrollo de la Inteligencia Artificial y del lenguaje LISP. Contiene artículos clave en la historia de la informática accesibles por Internet |
Haskell | http://www.haskell.org Página principal del Lenguaje Haskell. Contiene enlaces relacionados con el lenguaje y con la programación funcional. |
WWW Virtual Library on Logic Programming | http://www.comlab.ox.ac.uk/archive/logic-prog.html. Gran cantidad de enlaces sobre la programación lógica |
Logic Programming and Prolog | http://www.logic-programming.org/ Recopilación de enlaces relacionados con Prolog y la programación lógica. Incluye referencias al estándar ISO Prolog |
comp.lang.prolog FAQ | http://www-lp.doc.ic.ac.uk/complangprolog.html. Preguntas más habituales realizadas en el grupo "comp.lang.prolog" |
The Association of Logic Programming | http://www-lp.doc.ic.ac.uk/alp/archive.html. Incluye información de la Asociación para la Programación Lógica así como otros enlaces de interés sobre el campo. |
CMU Artificial Intelligence Repository | http://www.cs.cmu.edu/Groups/AI/html/repository.html. Recopilación de programas, ficheros y publicaciones relacionados con la Inteligencia Artificial. Incluye apartados sobre LISP, SCHEME y PROLOG |
Prolog Tutorial | http://cs.wwc.edu/KU/PR/Prolog.html. Tutorial sobre el lenguaje Prolog |
On-Line Guide to Prolog Programming | http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html. Guía interactiva para aprender a programar en Prolog a través de Internet (también se puede obtener un CD-ROM) realizada por R. Barták |
Adventure in Prolog | http://www.amzi.com/AdventureInProlog/advfrtop.htm. Páginas dedicadas a la enseñanza del lenguaje Prolog realizadas por los desarrolladores de AMZI! Prolog |