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

De Cuba-Wiki
(Nueva versión apunte mnpanic (1.2))
 
(No se muestran 62 ediciones intermedias de 27 usuarios)
Línea 1: Línea 1:
{{Sincronizar guía}}
{{Plan 1993 | Paradigmas de Programación}}
{{Completar guías}}
 
'''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]].
'''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==
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018]
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018]
====Haskell====
 
* [[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]]
====Prolog====
* [[Práctica 5 (Paradigmas)|Práctica 5 - POO]]
* [[Práctica 4 (Paradigmas)|Práctica 4 - Resolución]]
* [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]]
* [[Práctica 5 (Paradigmas)|Práctica 5 - Programacion Logica]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]]
 
====Smalltalk====
* [[Práctica 6 (Paradigmas)|Práctica 6 - POO]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Subtipado]]
 
====Otros====
* [[Práctica 8 (Paradigmas)|Práctica 8 - Ejercicios adicionales para el final]]
 
==Prácticas anteriores al año 2010==
====Haskell====
* [[Práctica 0 (pre 2010, Paradigmas)|Práctica 0 - Pre Practica Funcional]]
* [[Práctica 1 (pre 2010, Paradigmas)|Práctica 1 - Funcional]]
* [[Práctica 2 (pre 2010, Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]
* [[Práctica 3 (pre 2010, Paradigmas)|Práctica 3 - Inferencia de TIpos]]
 
====Prolog====
* [[Práctica 4 (pre 2010, Paradigmas)|Práctica 4 - Resolucion]]
* [[Práctica 5 (pre 2010, Paradigmas)|Práctica 5 - Programacion Logica]] (resolución [[Media:practica.prolog|alternativa]])
 
====Smalltalk====
* [[Práctica 6 (pre 2010, Paradigmas)|Práctica 6 - POO]]
* [[Práctica 7 (pre 2010, Paradigmas)|Práctica 7 - Fundamentos de POO]]


==Apuntes==
==Apuntes==
====Haskell====
===Práctica===
*[[Media:ApunteInferencia2007 (Paradigmas).pdf|Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)]]
====Cálculo Lambda====
*[[Medio:PLP_apunte_calculoSigma.pdf|Machete Cálculo Lambda (imprimible)]]


====Prolog====
====Prolog====
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]
*[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)|Funciones Varias de Prolog]]
*[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]]
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]]
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]]
*[[Media:prolog-utiles.pdf|Predicados útiles de Prolog]] (extraidos del manual de SWI-Prolog)


====Smalltalk====
===Final===
*[[Media:ApunteObjetosControl.pdf|Apunte de Colecciones y Control de Flujo]]
*[[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)
 
====Final====
*[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)
*[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.pdf|Resumen para el final]], by Pablo Heiber (2005).
*[[Media:plp-final-orales.pdf|Preguntas que suelen tomar cuando son finales orales]].
*[[Temas de Final (Paradigmas)|Temas de Final]], ejercicios comunes a encontrar en el final.
*[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]]
*[[Media:plp-apuntes-verano2018.pdf|Apuntes Verano 2018]]


==Exámenes==
==Exámenes==
====Primeros Parciales====
====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)]]
* [[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)]]
* Primer Recuperatorio del 1er Cuatrimestre 2019 [[Medio:PLP 1recu 10-07-19 enunciado.pdf|(enunciado)]]
Línea 70: Línea 65:
* Primer Parcial - 2do cuatrimestre de 2014 [[Media:Plp_2014_2c_1p.pdf | (Enunciado pdf) ]]
* 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 - 1er cuatrimestre de 2014 [[Media:Plp_2014_1c_1p.pdf | (Enunciado pdf) ]]
* [[Primer Parcial 1er Cuat 2010 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2010]]
* [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]]
* [[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]]
* [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]]
* [[Recuperatorio Primer Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Primer Parcial 2do Cuat 2007 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2007]]
* [[Primer Parcial 1er Cuat 2007 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2007]]
* [[Recuperatorio Primer Parcial 2do Cuat 2006 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2006]] (enunciado [[Media:1er recu 2006 2C (Paradigmas).pdf|pdf]])
* [[Recuperatorio Primer Parcial 1er Cuat 2006 (Paradigmas)|Recuperatorio del Primer Parcial del 1er Cuatrimestre de 2006]] (enunciado [[Media:1er recu 2006 1C (Paradigmas).pdf|pdf]])
* [[Primer Parcial 2do Cuat 2006 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 2C (Paradigmas).pdf|pdf]])
* [[Primer Parcial 1er Cuat 2006 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 1C (Paradigmas).pdf|pdf]])


====Segundos Parciales====
====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 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)]]
* 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_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]])
* [[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]])
* [[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 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 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]]
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]]
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]]
* [[Segundo Parcial 1er Cuat 2008 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2008]]
* [[Segundo Parcial Especial 2do Cuat 2007 (Paradigmas)|Segundo Parcial Edición Especial del 2do Cuatrimestre de 2007]] (enunciado [[Media:2p esp 2007 2C (Paradigmas).pdf|pdf]])
* [[Segundo Parcial 2do Cuat 2007 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre 2007]]
* [[Recuperatorio Segundo Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2007]]
* [[Recuperatorio Segundo Parcial 1er Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2007]] (enunciado [[Media:2r 1c 2007 (Paradigmas).pdf|pdf]])
* [[Recuperatorio Segundo Parcial 1er Cuat 2006 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2006]]
* [[Segundo Parcial 1er Cuat 2006 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2006]]
* [[Recuperatorio Segundo Parcial 2do Cuat 2005 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2005]]


====Finales====
====Finales====
* [[Final 22/12/2023 (Paradigmas) | Final del 22 de diciembre de 2023 (Barenbaum)]]
* [[Final 14/12/2023 (Paradigmas) | Final del 14 de diciembre de 2023 (Melgratti)]]
* [[Final 19/11/2023 (Paradigmas) | Final del 19 de noviembre de 2023 (Melgratti)]]
* [[Final 25/10/2023 (Paradigmas) | Final del 25 de octubre de 2023 (Melgratti)]]
* [[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 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 28/09/2020 (Paradigmas) | Final del 28 de septiembre de 2020 (Virtual) (Melgratti/Garbervetsky)]]
* [[Final 03/08/2020 (Paradigmas) | Final del 8 de agosto 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 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)]]
* [[Final 18/09/2019 (Paradigmas)|Final del 18 de septiembre de 2019 (Melgratti)]]
Línea 119: Línea 121:
* [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|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 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013 (Melgratti)]]
* [[Final 10/06/2010 (Paradigmas)|Final del 10 de junio de 2010]]
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de diciembre de 2009]]
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de diciembre de 2009]]
* [[Final 10/03/2009 (Paradigmas)|Final del 10 de marzo de 2009]]
* [[Final 24/02/2009 (Paradigmas)|Final del 24 de febrero 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 14/10/2008 (Paradigmas)|Final del 14 de octubre de 2008]]
* [[Final 12/08/2008 (Paradigmas)|Final del 12 de agosto de 2008]]
* [[Final 24/07/2008 (Paradigmas)|Final del 24 de julio de 2008]]
* [[Final 22/04/2008 (Paradigmas)|Final del 22 de abril de 2008]]
* [[Final 27/12/2007 (Paradigmas)|Final del 27 de diciembre de 2007]]
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de diciembre de 2007]]
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de diciembre de 2007]]
== Recursos ==
==== Prolog ====
*[[Práctica de Prolog: Avanzados (Paradigmas)|Predicados útiles: Avanzados]].
*[[Práctica de Prolog: Funciones Varias (Paradigmas)|Predicados útiles: Funciones Varias]].
*[[Práctica de Prolog: Introductorios (Paradigmas)|Predicados útiles: Introductorios]].
*[[Práctica de Prolog: Listas (Paradigmas)|Predicados útiles: Listas]].
*[[Práctica de Prolog: Parciales (Paradigmas)|Predicados útiles: Parciales]].
*[[Práctica de Prolog: Varios (Paradigmas)|Predicados útiles: Varios]].
*[[Práctica de Prolog: Árboles (Paradigmas)|Predicados útiles: Árboles]].
==== SmallTalk ====
*[[Tutorial VisualWorks|Tutorial del entorno de Smalltalk VisualWorks]]


== Enlaces externos ==
== Enlaces externos ==
*[http://www.dc.uba.ar/materias/plp/ Pagina Oficial de la Materia]
*[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]
*[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]
*[http://www.cincomsmalltalk.com/scripts/DownloadInstaller.ssp VisualWorks download page]
* 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]
*[http://blog.codeslower.com/2008/10/The-Haskell-Cheatsheet The Haskell Cheatsheet]
*[http://www.seas.upenn.edu/~cis500/cis500-f03/index.html Software Foundations by Benjamin C. Pierce]

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

Obtenido de «https://www.cubawiki.com.ar/index.php?title=Paradigmas_de_Lenguajes_de_Programación&oldid=17398»