Diferencia entre revisiones de «Paradigmas de Lenguajes de Programación»
De Cuba-Wiki
Sin resumen de edición |
|||
Línea 1: | Línea 1: | ||
{{Sincronizar guía}} | {{Sincronizar guía}} | ||
{{Completar guías}} | {{Completar guías}} | ||
'''Paradigmas de Lenguajes de Programación''' pertenece al area de | |||
'''Paradigmas de Lenguajes de Programación''' pertenece al area de Teoría y, según el [[Plan de la Carrera]] es una materia a ser cursada en [[Plan de la Carrera#Cuarto año|Cuarto año]]. Se necesita [[Lógica y Computabilidad]] para cursarla y es correlativa de [[Ingeniería de Software II]]. | |||
==Programa== | |||
Los temas a cubrir en la materia son: | |||
* Inducción y Recursión | |||
* Programación Funcional | |||
* Sistemas de Tipos | |||
* Semántica Operacional | |||
* Revisión del Paradigma Imperativo | |||
* Programación Lógica | |||
* Programación Orientada a Objetos | |||
==Prácticas== | ==Prácticas== | ||
Línea 129: | Línea 140: | ||
== Enlaces externos == | == Enlaces externos == | ||
*[http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html Tutorial de Haskell] | *[http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html Tutorial de Haskell] | ||
*Referencia del Prelude de Haskell: [http://www.cs.mu.oz.au/~bjpop/papers/haskell.tour.tar.gz sources], [http://www.cs.ut.ee/~varmo/MFP2004/PreludeTour.pdf pdf], [http://undergraduate.csse.uwa.edu.au/units/230.301/lectureNotes/tourofprelude.html html] | *Referencia del Prelude de Haskell: [http://www.cs.mu.oz.au/~bjpop/papers/haskell.tour.tar.gz sources], [http://www.cs.ut.ee/~varmo/MFP2004/PreludeTour.pdf pdf], [http://undergraduate.csse.uwa.edu.au/units/230.301/lectureNotes/tourofprelude.html html] |
Revisión del 11:16 18 feb 2022
Plantilla:Sincronizar guía Plantilla:Completar guías
Paradigmas de Lenguajes de Programación pertenece al area de Teoría 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.
Programa
Los temas a cubrir en la materia son:
- Inducción y Recursión
- Programación Funcional
- Sistemas de Tipos
- Semántica Operacional
- Revisión del Paradigma Imperativo
- Programación Lógica
- Programación Orientada a Objetos
Prácticas
Soluciones de la prácticas Verano 2018
- Práctica 0 - Pre Practica Funcional
- Práctica 1 - Funcional
- Práctica 2 - Calculo Lambda Tipado
- Práctica 3 - Inferencia de TIpos
- Práctica 4 - Subtipado
- Práctica 5 - POO
- Práctica 6 - Resolución
- Práctica 7 - Programacion Logica
Prácticas anteriores al año 2010
Haskell
- Práctica 0 - Pre Practica Funcional
- Práctica 1 - Funcional
- Práctica 2 - Calculo Lambda Tipado
- Práctica 3 - Inferencia de TIpos
Prolog
Smalltalk
Apuntes
Haskell
Prolog
- Explicacion del arbol de busqueda de Prolog
- Explicacion Cut y Not en prolog. Desde la pagina 12
- Funciones Varias de Prolog
- Tips de uso de operadores en Prolog
- Predicados útiles de Prolog (extraidos del manual de SWI-Prolog)
Smalltalk
Final
- Apunte para el final, tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016)
- Resumen para el final, by Pablo Heiber (2005).
- Temas de Final, ejercicios comunes a encontrar en el final.
- Preguntas que suelen tomar cuando son finales orales.
- Finales y ejercicios teóricos resueltos (2020). Link a google docs, muy pesado para subir acá.
- Apuntes Verano 2018
Exámenes
Primeros Parciales
- Primer Parcial del 2do Cuatrimestre de 2019 (resuelto)
- Primer Recuperatorio del 1er Cuatrimestre 2019 (enunciado)
- Primer Parcial del 1er Cuatrimestre del 2019 (resuelto)
- Primer Parcial de Verano 2019 (casi resuelto)
- Primer Parcial del 2do Cuatrimestre del 2018 (Solución)
- Primer Parcial del 1er Cuatrimestre de 2016
- Primer Parcial - 2do cuatrimestre de 2015 (Enunciado pdf) (Soluciones: 1 , 2 a., 2 b. y c., 3)
- Primer Parcial - 1er cuatrimestre de 2015 (Enunciado pdf) (Solución ejercicio 1)
- Primer Parcial - 2do cuatrimestre de 2014 (Enunciado pdf)
- Primer Parcial - 1er cuatrimestre de 2014 (Enunciado pdf)
- Primer Parcial del 1er Cuatrimestre de 2010
- Primer Parcial del 2do Cuatrimestre de 2008
- Primer Parcial del 1er Cuatrimestre de 2008
- 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 (enunciado pdf)
- Recuperatorio del Primer Parcial del 1er Cuatrimestre de 2006 (enunciado pdf)
- Primer Parcial del 2do Cuatrimestre de 2006 (enunciado pdf)
- Primer Parcial del 1er Cuatrimestre de 2006 (enunciado pdf)
Segundos Parciales
- Segundo Recuperatorio del 1er Cuatrimestre 2019 (enunciado)
- Segundo Parcial del 1er Cuatrimestre 2019 (enunciado) (resolución)
- Segundo Parcial del Verano 2019 (Resolución parte práctica)
- Segundo Parcial del 2do Cuatrimestre de 2018 (Semi-resolución) ATENCIÓN: Nota sobre el ejercicio 1 (29/11/2020): La cátedra considera que el ejercicio no está bien definido y no es representativo del tipo de ejercicios que se suelen tomar en la materia. En otras palabras, ignoren ese ejercicio si están estudiando para el parcial.
- Segundo Parcial del 1er Cuatrimestre de 2018 (Resolución)
- Segundo Parcial del 2do Cuatrimestre de 2017 ( 1, 2 y 4 resueltos)
- Segundo Parcial del 1er Cuatrimestre de 2016
- Segundo Parcial del 2do Cuatrimestre de 2009
- Segundo Parcial del 1er Cuatrimestre de 2008
- Segundo Parcial Edición Especial del 2do Cuatrimestre de 2007 (enunciado pdf)
- Segundo Parcial del 2do Cuatrimestre 2007
- Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2007
- Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2007 (enunciado pdf)
- Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2006
- Segundo Parcial del 1er Cuatrimestre de 2006
- Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2005
Finales
- Final del 11 de agosto de 2021 (Virtual) (Garbervetsky)
- Final del 18 de febrero de 2021 (Virtual) (Melgratti)
- Final del 27 de octubre de 2020 (Virtual) (Rios)
- Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 3 de agosto de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 13 de julio de 2020 (Virtual) (Melgratti/Garbervetsky)
- Final del 18 de septiembre de 2019 (Melgratti)
- Final del 19 de diciembre de 2018 (Melgratti) (Resolución)
- Final del 21 de junio de 2018 (Rios)
- Final del 19 de septiembre de 2017 (Melgratti)
- Final del 08 de agosto de 2017 (Garbervetsky)
- Final del 01 de agosto de 2017 (Garbervetsky)
- Final del 18 de mayo de 2017 (Melgratti)
- Final del 9 de marzo de 2017 (Melgratti)
- Final del 13 de diciembre de 2016 (Melgratti)
- Final del 07 de Marzo de 2016 (Melgratti)
- Final del 26 de marzo de 2016 (Melgratti)
- Final oral del 22 de diciembre de 2014, Version 1 (Bonelli)(Resuelto)
- Final oral del 22 de diciembre de 2014, Version 2 (Bonelli)(Resuelto)
- Final del 22 de Julio de 2014, resuelto
- Final oral del 12 de Setiembre de 2013 (Melgratti)
- Final del 10 de junio de 2010
- Final del 28 de diciembre de 2009
- Final del 10 de marzo de 2009
- Final del 24 de febrero de 2009
- Final del 14 de octubre de 2008
- Final del 12 de agosto de 2008
- Final del 24 de julio de 2008
- Final del 22 de abril de 2008
- Final del 27 de diciembre de 2007
- Final del 20 de diciembre de 2007
Enlaces externos
- Tutorial de Haskell
- Referencia del Prelude de Haskell: sources, pdf, html
- Referencia de todos los modulos de Haskell
- VisualWorks download page
- The Haskell Cheatsheet
- Software Foundations by Benjamin C. Pierce
- Artículo muy interesante que explica "fix" y como se llega a la formulación del operador de punto fijo [1]