Diferencia entre revisiones de «Paradigmas de Lenguajes de Programación»
De Cuba-Wiki
| Línea 15: | Línea 15: | ||
==Apuntes== | ==Apuntes== | ||
* [http://www.dc.uba.ar/materias/plp/2007/cuat2/descargas/apuntes/apunteInferencia.pdf Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)] | * [http://www.dc.uba.ar/materias/plp/2007/cuat2/descargas/apuntes/apunteInferencia.pdf Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)] | ||
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog] | |||
==Parciales== | ==Parciales== | ||
Revisión del 17:14 13 may 2008
Paradigmas de Lenguajes de Programación pertenece al area de Programación y, según el Plan de la Carrera es una materia a ser cursada en Cuarto año. Se necesita Lógica y Computabilidad para cursarla y es correlativa de Ingeniería de Software II.
Prácticas
Haskell
- Práctica 0 - Pre Practica Funcional
- Práctica 1 - Funcional
- Práctica 2 - Calculo Lambda Tipado
- Práctica 3 - Inferencia de TIpos
Prolog
Apuntes
Parciales
- Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2007
- Primer Parcial del 2do Cuatrimestre de 2007
- Primer Parcial del 1er Cuatrimestre de 2007
- Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2006
- Primer Parcial del 1er Cuatrimestre de 2006
