Paradigmas de Lenguajes de Programación
De Cuba-Wiki
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 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 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 de 2022
- Segundo Parcial del 1er Cuatrimestre de 2022
- 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
- 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 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 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]
