Diferencia entre revisiones de «Paradigmas de Lenguajes de Programación»

De Cuba-Wiki
(Nueva versión apunte mnpanic (1.2))
 
(No se muestran 183 ediciones intermedias de 64 usuarios)
Línea 1: Línea 1:
'''Paradigmas de Lenguajes de Programación''' pertenece al area de [[Programación (Area)|Programación]] 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]].
{{Plan 1993 | 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 [[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==
====Haskell====
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018]
 
* [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]]
* [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]]
* [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]]
* [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]]
* [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]
* [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]
* [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]]
* [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]]
* [[Práctica 4 (Paradigmas)|Práctica 4 - Subtipado]]
* [[Práctica 5 (Paradigmas)|Práctica 5 - POO]]
* [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]]
==Apuntes==
===Práctica===
====Cálculo Lambda====
*[[Medio:PLP_apunte_calculoSigma.pdf|Machete Cálculo Lambda (imprimible)]]


====Prolog====
====Prolog====
* [[Práctica 4 (Paradigmas)|Práctica 4 - Resolucion]]
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]
* [[Práctica 5 (Paradigmas)|Práctica 5 - Programacion Logica]]
*[https://www.cse.iitb.ac.in/~cs206/lecs/lec17.pdf Explicacion Cut y Not en prolog. Desde la pagina 12]
* [[Lógica: Funciones Varias (Paradigmas)|Lógica - Funciones Varias]]
*[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]]
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]]
 
===Final===
*[[Media:PLP_apunte_mnpanic_v1.2.pdf|Apunte para el final (mnPanic, 2023)]] ([https://github.com/mnPanic/plp/tree/master/final Repositorio de fuentes]), tiene todo lo que está en las diapositivas + aclaraciones de las teóricas grabadas de Diego Garbervetsky (e interpretaciones personales)
*[https://github.com/CubaWiki/PLP-resumen-iarcuschin Apunte para el final], tiene prácticamente todo lo que está en las teóricas, by Iván Arcuschin (2016)
*[[Media:plp-final-orales.pdf|Preguntas que suelen tomar cuando son finales orales]].
*[https://docs.google.com/document/d/1o5P-UkgM4Eq9K6ESD9aSqnzXsrl9NAYivCugw4qGgME/edit?usp=sharing Finales y ejercicios teóricos resueltos (2020)]. Link a google docs, muy pesado para subir acá.
*[[Media:plp-apuntes-verano2018.pdf|Apuntes Verano 2018]]


==Apuntes==
==Exámenes==
* [http://www.dc.uba.ar/materias/plp/2007/cuat2/descargas/apuntes/apunteInferencia.pdf Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)]
====Primeros Parciales====
* [[Medio:1c2023-1recu.pdf | Primer Recuperatorio del 1er Cuatrimestre de 2023 | (Enunciado) ]]
* Primer Parcial del 1er cuatrimestre de 2023 [[Media:1erP-1erC2023-PLP-Consigna.pdf | (Enunciado) ]] [[Media:1erP-1erC2023-PLP-Resolucion.pdf | (Solución) ]]
* [[Medio:PLP_1recu_06-12-2022.pdf | Primer Recuperatorio del 2do Cuatrimestre de 2022]]
* [[Medio:PLP_1parcial_11-10-2022.pdf | Primer Parcial del 2do Cuatrimestre de 2022]]
* [[Medio:PLP_1recu_12-07-22.pdf | Primer Recuperatorio del 1er Cuatrimestre de 2022]]
* [[Medio:PLP_1parcial_24-05-22.pdf | Primer Parcial del 1er Cuatrimestre de 2022]]
* [[Medio:2021_2c_1r.pdf | Primer Recuperatorio del 2do Cuatrimestre de 2021]]
* [[Medio:2021_2c_1p.pdf | Primer Parcial del 2do Cuatrimestre de 2021]]
* [[Medio:PLP_1parcial_2019_2c.pdf | Primer Parcial del 2do Cuatrimestre de 2019 (resuelto)]]
* Primer Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 1recu 10-07-19 enunciado.pdf|(enunciado)]]
* [[Media:PLP_1parcial_2019_1c.pdf | Primer Parcial del 1er Cuatrimestre del 2019 (resuelto)]]
* [[Media:PLP_1parcial_2019_v.pdf | Primer Parcial de Verano 2019 (casi resuelto)]]
* [[Media:PLP_1parcial_2018_2c.pdf | Primer Parcial del 2do Cuatrimestre del 2018 ]]([[Media:PLP_1parcial_2018_2c_solucion.pdf |Solución]])
 
* [[Primer Parcial 1er Cuat 2016 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2016]]
* Primer Parcial - 2do cuatrimestre de 2015 [[Media:Plp_2015_2c_1p.pdf | (Enunciado pdf) ]] (Soluciones: [[Media:PLP_1parcial_2015_2c_solucion_ej1.jpg | 1 ]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_a.jpg | 2 a.]], [[Media:PLP_1parcial_2015_2c_solucion_ej2_b_y_c.jpg | 2 b. y c.]], [[Media:PLP_1parcial_2015_2c_solucion_ej3.pdf | 3]])
 
* Primer Parcial - 1er cuatrimestre de 2015 [[Media:Plp_2015_1c_1p.pdf | (Enunciado pdf) ]] [[Media:PLP_1parcial_2015_1c_solucion_ej1.jpg | (Solución ejercicio 1) ]]
* Primer Parcial - 2do cuatrimestre de 2014 [[Media:Plp_2014_2c_1p.pdf | (Enunciado pdf) ]]
* Primer Parcial - 1er cuatrimestre de 2014 [[Media:Plp_2014_1c_1p.pdf | (Enunciado pdf) ]]
* [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]]
* [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]]
 
====Segundos Parciales====
*  [[Medio:R2P1C2023E.pdf | Segundo Recuperatorio del 1er Cuatrimestre de 2023 (Enunciado)]][[Media:R2P1C2023.pdf | (Resolucion) ]]
* [[Medio:2doP-PLP.pdf | Segundo Parcial del 1er Cuatrimestre de 2023 (Resuelto)]]
* [[Medio:Plp recu 2do parcial 2do 2023.pdf| Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2022]]
* [[Medio:PLP_2parcial_29-11-2022.pdf | Segundo Parcial del 2do Cuatrimestre de 2022]]
* [[Medio:PLP_2recu_19-07-22.pdf | Segundo Recuperatorio del 1er Cuatrimestre de 2022]]
* [[Medio:2doparcialPLP1c2022.jpg | Segundo Parcial del 1er Cuatrimestre de 2022]] [[Segundo Parcial del 1er Cuatrimestre de 2022| (Semi-resuelto)]]
* [[Medio:2021_2c_2p.pdf | Segundo Parcial del 2do Cuatrimestre de 2021]]
* [[Medio:2021_2c_2r.pdf | Segundo Recuperatorio del 2do Cuatrimestre de 2021]]
* Segundo Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 2recu 16-07-19 enunciado.pdf|(enunciado)]]
* Segundo Parcial del 1er Cuatrimestre 2019 [[Medio:PLP 2parcial 29-06-19 enun.pdf|(enunciado)]] [[Medio:PLP 2parcial 29-06-19 resolucion.pdf|(resolución)]]
* [[Medio:PLP_2parcial_13-03-19.pdf|Segundo Parcial del Verano 2019]] ([[Medio:PLP_2parcial_13-03-19_resolucion.pdf|Resolución parte práctica]])
* [[Medio:PLP_2parcial_2cuatri-2018.pdf|Segundo Parcial del 2do Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_2cuatri-2018_resolucion.pdf|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.
* [[Medio:PLP_2parcial_1cuatri-2018.pdf|Segundo Parcial del 1er Cuatrimestre de 2018]] ([[Medio:PLP_2parcial_1cuatri-2018_resolucion.pdf|Resolución]])
* Segundo Parcial del 2do Cuatrimestre de 2017 ([[Medio:PLP 2017 2C 2P.pdf| 1, 2 y 4 resueltos]])
* [[Segundo Parcial 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]]
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]]


==Parciales==
====Finales====
* [[Recuperatorio Primer Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Final 22/12/2023 (Paradigmas) | Final del 22 de diciembre de 2023 (Barenbaum)]]
* [[Primer Parcial 2do Cuat 2007 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Final 14/12/2023 (Paradigmas) | Final del 14 de diciembre de 2023 (Melgratti)]]
* [[Primer Parcial 1er Cuat 2007 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2007]]
* [[Final 19/11/2023 (Paradigmas) | Final del 19 de noviembre de 2023 (Melgratti)]]
* [[Recuperatorio Primer Parcial 2do Cuat 2006 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2006]]
* [[Final 25/10/2023 (Paradigmas) | Final del 25 de octubre de 2023 (Melgratti)]]
* [[Primer Parcial 1er Cuat 2006 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2006]]
* [[Final 02/08/2023 (Paradigmas) | Final del 02 de agosto de 2023 (Melgratti)]]
* [[Final 25/07/2023 (Paradigmas) | Final del 25 de julio de 2023 (Melgratti)]]
* [[Final 05/05/2023 (Paradigmas) | Final del 05 de mayo de 2023 (Melgratti)]]
* [[Final 08/03/2023 (Paradigmas) | Final del 08 de marzo de 2023 (Melgratti)]]
* [[Final 23/02/2023 (Paradigmas) | Final del 23 de febrero de 2023 (Melgratti)]]
* [[Final 17/11/2022 (Paradigmas) | Final del 17 de noviembre de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 03/08/2022 (Paradigmas) | Final del 03 de agosto de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 28/04/2022 (Paradigmas) | Final del 28 de abril de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 03/03/2022 (Paradigmas) | Final del 3 de marzo de 2022 (Virtual, Oral) (Melgratti)]]
* [[Final 11/08/2021 (Paradigmas) | Final del 11 de agosto de 2021 (Virtual) (Garbervetsky)]]
* [[Media:PLP_final_18-02-2021.pdf | Final del 18 de febrero de 2021 (Virtual) (Melgratti)]]
* [[Final 27/10/2020 (Paradigmas) | Final del 27 de octubre de 2020 (Virtual) (Rios)]]
* [[Final 28/09/2020 (Paradigmas) | Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 03/08/2020 (Paradigmas) | Final del 3 de agosto de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 13/07/2020 (Paradigmas) | Final del 13 de julio de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 18/09/2019 (Paradigmas)|Final del 18 de septiembre de 2019 (Melgratti)]]
* [[Media:PLP_final_19-12-18.pdf|Final del 19 de diciembre de 2018 (Melgratti)]] ([[Media:PLP_resolucion-final_19-12-18.pdf|Resolución]])
* [[Final 21/06/2018 (Paradigmas)|Final del 21 de junio de 2018 (Rios)]]
* [[Final 19/09/2017 (Paradigmas)|Final del 19 de septiembre de 2017 (Melgratti)]]
* [[Final 08/08/2017 (Paradigmas)|Final del 08 de agosto de 2017 (Garbervetsky)]]
* [[Final 01/08/2017 (Paradigmas)|Final del 01 de agosto de 2017 (Garbervetsky)]]
* [[Final 18/05/2017 (Paradigmas)|Final del 18 de mayo de 2017 (Melgratti)]]
* [[Final 09/03/2017 (Paradigmas)|Final del 9 de marzo de 2017 (Melgratti)]]
* [[Final 13/12/2016 (Paradigmas)|Final del 13 de diciembre de 2016 (Melgratti)]]
* [[Final 07/03/2016 (Paradigmas)|Final  del 07 de Marzo de 2016 (Melgratti)]]
* [[Final 26/03/2016 (Paradigmas)|Final del 26 de marzo de 2016 (Melgratti)]]
* [[Media:final_plp_22dic2014_resuelto.pdf|Final oral del 22 de diciembre de 2014, Version 1 (Bonelli)(Resuelto)]]
* [[Final 22/12/2014 (Paradigmas)|Final oral del 22 de diciembre de 2014, Version 2 (Bonelli)(Resuelto)]]
* [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|resuelto]]
* [[Final 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013 (Melgratti)]]
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de diciembre de 2009]]
* [[Final 24/02/2009 (Paradigmas)|Final del 24 de febrero de 2009]]
* [[Final 14/10/2008 (Paradigmas)|Final del 14 de octubre de 2008]]
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de diciembre de 2007]]


== Enlaces externos ==
== Enlaces externos ==
*[http://www.dc.uba.ar/people/materias/plp/homepage.html Pagina Oficial de la Materia]
*[http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html Tutorial de Haskell]
*[http://www.cs.mu.oz.au/~bjpop/papers/haskell.tour.tar.gz Referencia del Prelude de Haskell en pdf]
*[http://haskell.org/ghc/docs/latest/html/libraries/index.html Referencia de todos los modulos de Haskell]
*[http://haskell.org/ghc/docs/latest/html/libraries/index.html 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 [https://mvanier.livejournal.com/2897.html]

Revisión actual - 21:19 10 jul 2024

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

Apuntes

Práctica

Cálculo Lambda

Prolog

Final

Exámenes

Primeros Parciales

Segundos Parciales

Finales

Enlaces externos