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

De Cuba-Wiki
Sin resumen de edición
Línea 1: Línea 1:
{{Sincronizar guía}}
{{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 [[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]].
Línea 25: Línea 23:
* [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]]
* [[Práctica 6 (Paradigmas)|Práctica 6 - Resolución]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]]
* [[Práctica 7 (Paradigmas)|Práctica 7 - Programacion Logica]]
==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)]]
 
====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]
Línea 50: Línea 31:
*[[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====
*[[Media:ApunteObjetosControl.pdf|Apunte de Colecciones y Control de Flujo]]


====Final====
===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).
*[[Temas de Final (Paradigmas)|Temas de Final]], ejercicios comunes a encontrar en el final.
*[[Media:plp-final-orales.pdf|Preguntas que suelen tomar cuando son finales orales]].
*[[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á.
*[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á.
Línea 81: Línea 56:
* 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====
Línea 105: Línea 72:
* [[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====
Línea 140: Línea 99:
* [[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]]


== Enlaces externos ==
== Enlaces externos ==
*[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.seas.upenn.edu/~cis500/cis500-f03/index.html 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 [https://mvanier.livejournal.com/2897.html]
* 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 del 23:12 28 nov 2022

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

Prolog

Final

Exámenes

Primeros Parciales

Segundos Parciales

Finales

Enlaces externos