Paradigmas de Lenguajes de Programación

Esta página es sobre la materia del plan de estudios 1993. Para ver la materia del plan 2023, consultar Paradigmas 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

Apuntes

Práctica

Cálculo Lambda

• Machete Cálculo Lambda (imprimible)

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

Final

• Apunte para el final (mnPanic, 2023) (Repositorio de fuentes), tiene todo lo que está en las diapositivas + aclaraciones de las teóricas grabadas de Diego Garbervetsky (e interpretaciones personales)
• Apunte para el final, tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016)
• 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 Recuperatorio del 1er Cuatrimestre de 2023 | (Enunciado)
• Primer Parcial del 1er cuatrimestre de 2023 (Enunciado) (Solución)
• Primer Recuperatorio del 2do Cuatrimestre de 2022
• Primer Parcial del 2do Cuatrimestre de 2022
• Primer Recuperatorio del 1er Cuatrimestre de 2022
• Primer Parcial del 1er Cuatrimestre de 2022
• Primer Recuperatorio del 2do Cuatrimestre de 2021
• Primer Parcial del 2do Cuatrimestre de 2021
• 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 2do Cuatrimestre de 2008
• Primer Parcial del 1er Cuatrimestre de 2008

Segundos Parciales

• Segundo Recuperatorio del 1er Cuatrimestre de 2023 (Enunciado) (Resolucion)
• Segundo Parcial del 1er Cuatrimestre de 2023 (Resuelto)
• Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2022
• Segundo Parcial del 2do Cuatrimestre de 2022
• Segundo Recuperatorio del 1er Cuatrimestre de 2022
• Segundo Parcial del 1er Cuatrimestre de 2022 (Semi-resuelto)
• Segundo Parcial del 2do Cuatrimestre de 2021
• Segundo Recuperatorio del 2do Cuatrimestre de 2021
• 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

Finales

• Final del 22 de diciembre de 2023 (Barenbaum)
• Final del 14 de diciembre de 2023 (Melgratti)
• Final del 19 de noviembre de 2023 (Melgratti)
• Final del 25 de octubre de 2023 (Melgratti)
• Final del 02 de agosto de 2023 (Melgratti)
• Final del 25 de julio de 2023 (Melgratti)
• Final del 05 de mayo de 2023 (Melgratti)
• Final del 08 de marzo de 2023 (Melgratti)
• Final del 23 de febrero de 2023 (Melgratti)
• Final del 17 de noviembre de 2022 (Virtual, Oral) (Melgratti)
• Final del 03 de agosto de 2022 (Virtual, Oral) (Melgratti)
• Final del 28 de abril de 2022 (Virtual, Oral) (Melgratti)
• 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 28 de diciembre de 2009
• Final del 24 de febrero de 2009
• Final del 14 de octubre de 2008
• Final del 20 de diciembre de 2007

Enlaces externos

• Referencia de todos los modulos de Haskell
• Artículo muy interesante que explica "fix" y como se llega a la formulación del operador de punto fijo [1]