Paradigmas de Lenguajes de Programación

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

• Práctica 4 - Resolucion
• Práctica 5 - Programacion Logica (resolución alternativa)

Smalltalk

• Práctica 6 - POO
• Práctica 7 - Fundamentos de POO

Apuntes

Haskell

• Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)

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

• Apunte de Colecciones y Control de Flujo

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 3 de marzo de 2022 (Virtual, Oral) (Melgratti)
• 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

• Referencia de todos los modulos de Haskell
• 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]