https://www.cubawiki.com.ar/api.php?action=feedcontributions&user=181.170.192.15&feedformat=atomCuba-Wiki - Contribuciones del usuario [es]2024-03-28T21:56:02ZContribuciones del usuarioMediaWiki 1.39.2https://www.cubawiki.com.ar/index.php?title=Paradigmas_de_Lenguajes_de_Programaci%C3%B3n&diff=11932Paradigmas de Lenguajes de Programación2018-06-22T02:47:16Z<p>181.170.192.15: /* Finales */</p>
<hr />
<div>{{Sincronizar guía}}<br />
{{Completar guías}}<br />
'''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]].<br />
<br />
==Prácticas==<br />
[https://github.com/Gian150/plp-Verano Soluciones de la prácticas Verano 2018]<br />
====Haskell====<br />
* [[Práctica 0 (Paradigmas)|Práctica 0 - Pre Practica Funcional]]<br />
* [[Práctica 1 (Paradigmas)|Práctica 1 - Funcional]]<br />
* [[Práctica 2 (Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]<br />
* [[Práctica 3 (Paradigmas)|Práctica 3 - Inferencia de TIpos]]<br />
<br />
====Prolog====<br />
* [[Práctica 4 (Paradigmas)|Práctica 4 - Resolución]]<br />
* [[Práctica 5 (Paradigmas)|Práctica 5 - Programacion Logica]]<br />
<br />
====Smalltalk====<br />
* [[Práctica 6 (Paradigmas)|Práctica 6 - POO]]<br />
* [[Práctica 7 (Paradigmas)|Práctica 7 - Subtipado]]<br />
<br />
====Otros====<br />
* [[Práctica 8 (Paradigmas)|Práctica 8 - Ejercicios adicionales para el final]]<br />
<br />
==Prácticas anteriores al año 2010==<br />
====Haskell====<br />
* [[Práctica 0 (pre 2010, Paradigmas)|Práctica 0 - Pre Practica Funcional]]<br />
* [[Práctica 1 (pre 2010, Paradigmas)|Práctica 1 - Funcional]]<br />
* [[Práctica 2 (pre 2010, Paradigmas)|Práctica 2 - Calculo Lambda Tipado]]<br />
* [[Práctica 3 (pre 2010, Paradigmas)|Práctica 3 - Inferencia de TIpos]]<br />
<br />
====Prolog====<br />
* [[Práctica 4 (pre 2010, Paradigmas)|Práctica 4 - Resolucion]]<br />
* [[Práctica 5 (pre 2010, Paradigmas)|Práctica 5 - Programacion Logica]] (resolución [[Media:practica.prolog|alternativa]])<br />
<br />
====Smalltalk====<br />
* [[Práctica 6 (pre 2010, Paradigmas)|Práctica 6 - POO]]<br />
* [[Práctica 7 (pre 2010, Paradigmas)|Práctica 7 - Fundamentos de POO]]<br />
<br />
==Apuntes==<br />
====Haskell====<br />
*[[Media:ApunteInferencia2007 (Paradigmas).pdf|Apunte de Inferencia de tipos (2do Cuatrimestre de 2007)]]<br />
<br />
====Prolog====<br />
*[http://www.cse.iitb.ac.in/~cs206/lecs/lec24.pdf Explicacion del arbol de busqueda de Prolog]<br />
*[[Lógica: Funciones Varias (Paradigmas)|Funciones Varias de Prolog]]<br />
*[[Lógica: Uso de operadores (Paradigmas)|Tips de uso de operadores en Prolog]]<br />
*[[Media:prolog-utiles.pdf|Predicados útiles de Prolog]] (extraidos del manual de SWI-Prolog)<br />
<br />
====Smalltalk====<br />
*[[Media:ApunteObjetosControl.pdf|Apunte de Colecciones y Control de Flujo]]<br />
<br />
====Final====<br />
*[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)<br />
*[[Media:plp-final.pdf|Resumen para el final]], by Pablo Heiber (2005).<br />
*[[Temas de Final (Paradigmas)|Temas de Final]], ejercicios comunes a encontrar en el final.<br />
* [[Media:plp-apuntes-verano2018.pdf|Apuntes Verano 2018]]<br />
<br />
==Examenes==<br />
====Primeros Parciales====<br />
* [[Primer Parcial 1er Cuat 2016 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2016]]<br />
* Primer Parcial - 2 do cuatrimestre de 2015 [[Media:Plp_2015_2c_1p.pdf | (Enunciado pdf) ]]<br />
* Primer Parcial - 1 er cuatrimestre de 2015 [[Media:Plp_2015_1c_1p.pdf | (Enunciado pdf) ]]<br />
* Primer Parcial - 2 do cuatrimestre de 2014 [[Media:Plp_2014_2c_1p.pdf | (Enunciado pdf) ]]<br />
* Primer Parcial - 1 er cuatrimestre de 2014 [[Media:Plp_2014_1c_1p.pdf | (Enunciado pdf) ]]<br />
* [[Primer Parcial 1er Cuat 2010 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2010]]<br />
* [[Primer Parcial 2do Cuat 2008 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2008]]<br />
* [[Primer Parcial 1er Cuat 2008 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2008]]<br />
* [[Recuperatorio Primer Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio del Primer Parcial del 2do Cuatrimestre de 2007]]<br />
* [[Primer Parcial 2do Cuat 2007 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2007]]<br />
* [[Primer Parcial 1er Cuat 2007 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2007]]<br />
* [[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]])<br />
* [[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]])<br />
* [[Primer Parcial 2do Cuat 2006 (Paradigmas)|Primer Parcial del 2do Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 2C (Paradigmas).pdf|pdf]])<br />
* [[Primer Parcial 1er Cuat 2006 (Paradigmas)|Primer Parcial del 1er Cuatrimestre de 2006]] (enunciado [[Media:1er parcial 2006 1C (Paradigmas).pdf|pdf]])<br />
<br />
====Segundos Parciales====<br />
* Segundo Parcial del 2do Cuatrimestre de 2017 ([[Medio:PLP 2017 2C 2P.pdf| 1, 2 y 4 resueltos]])<br />
* [[Segundo Parcial 1er Cuat 2016 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2016]]<br />
* [[Segundo Parcial 2do Cuat 2009 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre de 2009]]<br />
* [[Segundo Parcial 1er Cuat 2008 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2008]]<br />
* [[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]])<br />
* [[Segundo Parcial 2do Cuat 2007 (Paradigmas)|Segundo Parcial del 2do Cuatrimestre 2007]]<br />
* [[Recuperatorio Segundo Parcial 2do Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2007]]<br />
* [[Recuperatorio Segundo Parcial 1er Cuat 2007 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2007]] (enunciado [[Media:2r 1c 2007 (Paradigmas).pdf|pdf]])<br />
* [[Recuperatorio Segundo Parcial 1er Cuat 2006 (Paradigmas)|Recuperatorio Segundo Parcial del 1er Cuatrimestre de 2006]]<br />
* [[Segundo Parcial 1er Cuat 2006 (Paradigmas)|Segundo Parcial del 1er Cuatrimestre de 2006]]<br />
* [[Recuperatorio Segundo Parcial 2do Cuat 2005 (Paradigmas)|Recuperatorio Segundo Parcial del 2do Cuatrimestre de 2005]]<br />
<br />
====Finales====<br />
* [[Final 21/06/2018 (Paradigmas)|Final del 21 de junio de 2018 (Rios)]]<br />
* [[Final 19/09/2017 (Paradigmas)|Final del 19 de septiembre de 2017 (Melgratti)]]<br />
* [[Final 08/08/2017 (Paradigmas)|Final del 08 de agosto de 2017 (Garbervetsky)]]<br />
* [[Final 01/08/2017 (Paradigmas)|Final del 01 de agosto de 2017 (Garbervetsky)]]<br />
* [[Final 18/05/2017 (Paradigmas)|Final del 18 de mayo de 2017 (Melgratti)]]<br />
* [[Final 09/03/2017 (Paradigmas)|Final del 9 de marzo de 2017 (Melgratti)]]<br />
* [[Final 13/12/2016 (Paradigmas)|Final del 13 de Diciembre de 2016 (Melgratti)]]<br />
* [[Final 07/03/2016 (Paradigmas)|Final del 07 de Marzo de 2016 (Melgratti)]]<br />
* [[Final 26/03/2016 (Paradigmas)|Finaldel 26 de Febrero de 2016 (Melgratti)]]<br />
* [[Media:final_plp_22dic2014_resuelto.pdf|Final oral del 22 de Diciembre de 2014]]<br />
* [[Final 22/12/2014 (Paradigmas)|Final oral del 22 de Diciembre de 2014 (Bonelli)(Resuelto)]]<br />
* [[Media:Main.pdf|Final del 22 de Julio de 2014]], [[Media:Plp_final_22_07_14_resuelto.pdf|resuelto]]<br />
* [[Final 12/09/2013 (Paradigmas)|Final oral del 12 de Setiembre de 2013]]<br />
* [[Final 10/06/2010 (Paradigmas)|Final del 10 de Junio de 2010]]<br />
* [[Final 28/12/2009 (Paradigmas)|Final del 28 de Diciembre de 2009]]<br />
* [[Final 10/03/2009 (Paradigmas)|Final del 10 de Marzo de 2009]]<br />
* [[Final 24/02/2009 (Paradigmas)|Final del 24 de Febrero de 2009]]<br />
* [[Final 14/10/2008 (Paradigmas)|Final del 14 de Octubre de 2008]]<br />
* [[Final 12/08/2008 (Paradigmas)|Final del 12 de Agosto de 2008]]<br />
* [[Final 24/07/2008 (Paradigmas)|Final del 24 de Julio de 2008]]<br />
* [[Final 22/04/2008 (Paradigmas)|Final del 22 de Abril de 2008]]<br />
* [[Final 27/12/2007 (Paradigmas)|Final del 27 de Diciembre de 2007]]<br />
* [[Final 20/12/2007 (Paradigmas)|Final del 20 de Diciembre de 2007]]<br />
<br />
== Recursos ==<br />
==== Prolog ====<br />
*[[Práctica de Prolog: Avanzados (Paradigmas)|Predicados útiles: Avanzados]].<br />
*[[Práctica de Prolog: Funciones Varias (Paradigmas)|Predicados útiles: Funciones Varias]].<br />
*[[Práctica de Prolog: Introductorios (Paradigmas)|Predicados útiles: Introductorios]].<br />
*[[Práctica de Prolog: Listas (Paradigmas)|Predicados útiles: Listas]].<br />
*[[Práctica de Prolog: Parciales (Paradigmas)|Predicados útiles: Parciales]].<br />
*[[Práctica de Prolog: Varios (Paradigmas)|Predicados útiles: Varios]].<br />
*[[Práctica de Prolog: Árboles (Paradigmas)|Predicados útiles: Árboles]].<br />
<br />
==== SmallTalk ====<br />
*[[Tutorial VisualWorks|Tutorial del entorno de Smalltalk VisualWorks]]<br />
<br />
== Enlaces externos ==<br />
*[http://www.dc.uba.ar/materias/plp/ Pagina Oficial de la Materia]<br />
*[http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html Tutorial de Haskell]<br />
*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]<br />
*[http://haskell.org/ghc/docs/latest/html/libraries/index.html Referencia de todos los modulos de Haskell]<br />
*[http://www.cincomsmalltalk.com/scripts/DownloadInstaller.ssp VisualWorks download page]<br />
*[http://blog.codeslower.com/2008/10/The-Haskell-Cheatsheet The Haskell Cheatsheet]<br />
*[http://www.seas.upenn.edu/~cis500/cis500-f03/index.html Software Foundations by Benjamin C. Pierce]</div>181.170.192.15https://www.cubawiki.com.ar/index.php?title=Final_21/06/2018_(Paradigmas)&diff=11931Final 21/06/2018 (Paradigmas)2018-06-22T02:45:58Z<p>181.170.192.15: Página creada con «Tomo Rios oral Me pregunto lo siguiente: 1. Cuando extendes calculo lambda con alguna extension (listas, producto cartesiano, etc) que tenes que tener cuidado ? Respondi...»</p>
<hr />
<div>Tomo Rios oral<br />
<br />
Me pregunto lo siguiente:<br />
<br />
1. Cuando extendes calculo lambda con alguna extension (listas, producto cartesiano, etc) que tenes que tener cuidado ?<br />
<br />
Respondi que hay que mirar la semantica operacional, los axiomas de tipado, los terminos nuevos, valores, revisar que correctitud y progreso esten ok y si contemplas el caso de subtipado los problemas de contravarianza y covarianza que pueden darte los tipos nuevos.<br />
<br />
2. Que es contravarianza y covarianza, como se aplican en el caso de <math> Ref \sigma </math>, que problemas trae la memoria con subtipado?<br />
<br />
3. Explicar cut<br />
<br />
4. Self y super, method dispatch<br />
<br />
Los demas chicos que rindieron conmigo el final le tomaron desarrollo de algunos de los siguientes temas:<br />
<br />
* Regla de subtipado, explicar T-Sub y como se modifica E-App para contemplar el caso de subtipado. Porque si usas S-refl y S-trans, deja de estar dirigido por sintaxis el tipado? Como lo salvas el caso?<br />
<br />
* Regla de resolucion general, que es un mgu<br />
<br />
* Explicar que es not en prolog<br />
<br />
* Si viste calculo de objetos, pregunta sobre eso tmb</div>181.170.192.15https://www.cubawiki.com.ar/index.php?title=L%C3%B3gica_y_Computabilidad&diff=11896Lógica y Computabilidad2018-05-18T11:10:34Z<p>181.170.192.15: </p>
<hr />
<div>{{Revisar guías}}<br />
'''Lógica y Computabilidad''' es una materia que estudia formalmente la lógica proposicional y la lógica de primer orden, e introduce la teoría de la computabilidad. La materia es dictada por el [http://www.dm.uba.ar Departamento de Matemática] en el primer cuatrimestre de cada año y por el Departamento de [[Computación]] en el verano y segundo cuatrimestre de cada año. Según el [[Plan de la Carrera|plan de la carrera]], es una materia a ser cursada en [[Plan de la Carrera#Tercer año|tercer año]]. Es correlativa de [[Algoritmos y Estructuras de Datos II]], y es requerida para cursar [[Paradigmas de Lenguajes de Programación]] y [[Teoría de Lenguajes]].<br />
<br />
Durante el año, la materia se cursa los miércoles y viernes a partir de las 17:00.<br />
<br />
== Programa ==<br />
Abarca los temas de los capítulos 1 al 4 del libro "''Computability, Complexity, and Languages''" de Davis, Sigal y Weyuker<br />
<br />
* '''Computabilidad''': Lenguajes de programación. Macros. Recursión. Funciones primitivas recursivas. Predicados, operadores lógicos. Minimización. Codificación de Godel. Halting Problem, universalidad. Conjuntos recursivamente enumerables. Teoremas de la recursión, del punto fijo y de Rice.<br />
* '''Lógica proposicional''': Lenguaje. Semántica. Mecanismo Deductivo. Metateoremas para SP. Compacidad.<br />
* '''Lógica de primer orden''': Lenguaje. Semántica. Sistema axiomático. Metateoremas para SQ. Indecidibilidad.<br />
<br />
== Contenidos ==<br />
Algunos teoremas vistos en la parte de lógica:<br />
<br />
* [[Teorema de Completitud]]<br />
* [[Teorema de Compacidad]]<br />
* [[Definiciones y Teoremas varios (Lógica y Computabilidad)|Resumen de definiciones y teoremas varios]]<br />
<br />
== Prácticas ==<br />
<br />
=== Departamento de Computación ===<br />
<br />
==== Computabilidad ====<br />
* '''2do Cuatrimestre 2017'''<br />
** [[Medio:Práctica_1_LyC_2do_Cuatrimestre_2017.pdf|Práctica 1 - Funciones primitivas recursivas y clases PRC]]<br />
<br />
* '''Verano'''<br />
** [[Práctica 1 (LyC Verano) | Práctica 1 - Funciones computables]]<br />
** [[Práctica 2 (LyC Verano) | Práctica 2 - Funciones primitivas recursivas]]<br />
** [[Práctica 3 (LyC Verano) | Práctica 3 - Teoría de Computabilidad]]<br />
<br />
==== Lógica ====<br />
* '''2do Cuatrimestre 2017'''<br />
** [[Práctica 5 LyC 2do Cuatrimestre 2017 (Depto. de Computación)|Práctica 5 - Sistemas Deductivos y Compacidad]]<br />
* '''Verano'''<br />
** [[Práctica 4 (LyC Verano) | Práctica 4 - Logica Proposicional]]<br />
** [[Práctica 5 (LyC Verano) | Práctica 5 - Sistemas Deductivos y Compacidad]]<br />
** [[Práctica 6 (LyC Verano) | Práctica 6 - Logica de Primer Orden]]<br />
** [[Práctica 7 (LyC Verano) | Práctica 7 - Sistemas Deductivos, Completitud y Compacidad (1º Orden)]]<br />
<br />
=== Departamento de Matemática ===<br />
<br />
==== Lógica ====<br />
* [[Práctica 1: Lógica Proposicional (Lógica y Computabilidad) | Práctica 1: Lógica Proposicional]]<br />
* [[Práctica 2: Semántica del Cálculo Proposicional (Lógica y Computabilidad) | Práctica 2: Semántica del Cálculo Proposicional]]<br />
* [[Práctica 3: Consecuencia Lógica y Árboles (Lógica y Computabilidad) | Práctica 3: Consecuencia Lógica y Árboles]]<br />
* [[Práctica 4: Compacidad (Lógica y Computabilidad) | Práctica 4: Compacidad]]<br />
* [[Práctica 5: Cálculo de Predicados (Lógica y Computabilidad) | Práctica 5: Cálculo de Predicados]]<br />
* [[Práctica 6: Árboles del Cálculo de Predicados (Lógica y Computabilidad) | Práctica 6: Árboles del Cálculo de Predicados]]<br />
<br />
==== Computabilidad ====<br />
* [[Práctica 7: Computabilidad y Programas (Lógica y Computabilidad) | Práctica 7: Computabilidad y Programas]]<br />
* [[Práctica 8: Funciones Primitivas Recursivas (Lógica y Computabilidad) | Práctica 8: Funciones Primitivas Recursivas]]<br />
* [[Práctica 9: Recursividad (Lógica y Computabilidad) | Práctica 9: Recursividad]]<br />
<br />
== Parciales ==<br />
=== Departamento de Computación ===<br />
<br />
==== Computabilidad ====<br />
{| class="wikitable sortable"<br />
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links<br />
|-<br />
| 2018 || Verano || 15/03/2018 || Recuperatorio || [[Recuperatorio_de_computabilidad_Verano_2018_(DC)|enunciado con resolución]]<br />
|-<br />
| 2018 || Verano || 22/02/2018 || Parcial || [[Media:Parcial_de_computabilidad_Verano_2018_(LyC).pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2017 || Segundo cuatrimestre || 29/09/2017 || Parcial || [[Media:Parcial_de_computabilidad_Segundo_cuatrimestre_2017_(LyC).pdf|enunciado]]<br />
|-<br />
| 2017 || Verano || 18/03/2017 || Recuperatorio || [[Recuperatorio de computabilidad Verano 2017 (LyC)|enunciado]]<br />
|-<br />
| 2017 || Verano || 21/02/2017 || Parcial || [[Parcial de computabilidad Verano 2017 (LyC)|enunciado]], [[Media:LyC_1parcial_21-02-17.pdf|resolución (pdf)]], [[Media:LyC_1P_21-02-17.pdf|resolución2 (pdf)]]<br />
|-<br />
| 2016 || Verano || 13/02/2016 || Parcial || [[Parcial de Computabilidad Verano 2016 (LyC)|enunciado]], [[Media:LyC_1parcial_13-02-16.pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2015 || Segundo cuatrimestre || || Parcial || [[Media: logicaYcomputabilidad_1p_2c2015.pdf|enunciado (pdf)]]<br />
|-<br />
| 2015 || Verano || || Recuperatorio || [[Media: LyC_recu_compu_verano_2015.jpg|enunciado (jpg)]]<br />
|-<br />
| 2015 || Verano || 14/02/2015 || Parcial || [[Media: LyC_compu_07-03-15.jpg|enunciado (jpg)]], resolución (jpg): [[Media:LyC 1parcial 14-02-15 ej1.jpg|ej 1]], [[Media:LyC 1parcial 14-02-15 ej2.jpg|ej 2]], <br> [https://www.youtube.com/watch?v=lTSMBvzDxRo solución por Manu Giménez (video)]<br />
|-<br />
| 2014 || Segundo cuatrimestre || 03/12/2014 || Recuperatorio || [[Media: LyC_1recu_12-03-14.jpg|enunciado (jpg)]], resolución (jpg): [[Media:LyC_1parcial_26-09-14_ej2.jpg|ej 2]], [[Media:LyC_1parcial_26-09-14_ej3.jpg|ej 3]], [[Media:LyC 1parcial_26-09-14_ej4.jpg|ej 4]]<br />
|-<br />
| 2014 || Segundo cuatrimestre || 26/09/2014 || Parcial || [[Media: LyC_1parcial_26-09-14.pdf|enunciado (pdf)]]<br />
|-<br />
| 2014 || Verano || 15/02/2014 || Parcial || [[Media: LyC_1parcial_15-02-14.jpg |enunciado (jpg)]]<br />
|-<br />
| 2012 || Segundo cuatrimestre || || Recuperatorio || [[Media:RecuComputabilidad2cuat2012DC.jpg|enunciado (jpg)]]<br />
|-<br />
| 2011 || Segundo cuatrimestre || 07/10/2011 || Parcial || [[Media:LyC_1parcial_07-10-11.pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2010 || Segundo cuatrimestre || || Recuperatorio || [[Media:10recucompu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2010 || Segundo cuatrimestre || || Parcial || [[Media:10compu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2009 || Verano || || Recuperatorio || [[Media:V09recucompu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2009 || Verano || || Parcial || [[Media:V09compu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Primer cuatrimestre || || Recuperatorio || [[Media:1c08recucompu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Primer cuatrimestre || || Parcial || [[Media:1c08compu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Verano || || Recuperatorio || [[Media:08recucompu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Verano || || Parcial || [[Media:08compu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Verano || || Recuperatorio || [[Media:07recucompu.pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Verano || || Parcial || [[Media:07compu.pdf|enunciado (pdf)]]<br />
|}<br />
<br />
==== Lógica ====<br />
{| class="wikitable sortable"<br />
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links<br />
|-<br />
| 2018 || Verano || 15/03/2018 || Parcial || <br />
[[Medio:LyC_2parcial_15-03-18_depto_de_computación.pdf|enunciado (pdf)]], [[Media:LyC_2parcial_15-03-18_depto_de_computación_resolucion.pdf|resolución (pdf)]]<br />
|-<br />
| 2017 || Segundo Cuatrimestre || 17/11/2017 || Parcial || [[Medio:LyC_2parcial_17-11-17_depto_de_computacion.pdf|enunciado]], [[Media:LyC_2parcial_17-11-17_depto_de_computación_resolucion.pdf|resolución ]]<br />
|-<br />
| 2017 || Verano || 25/03/2017 || Recuperatorio || [[Recuperatorio de Lógica Verano 2017 (LyC)|enunciado]]<br />
|-<br />
| 2017 || Verano || 16/03/2017 || Parcial || [[Parcial de Lógica Verano 2017 (LyC)|enunciado]], [[Media:LyC_2parcial_16-03-17.pdf|resolución 1]], [[Media:LyC_2parcial_16-03-17_bis.pdf|resolución 2]]<br />
|-<br />
| 2016 || Segundo cuatrimestre || || Parcial || [[Media: logicaYcomputabilidad_2p_2c2016.jpg|enunciado (jpg)]], resolución (jpg/pdf): [[Media: logicaYcomputabilidad_2p_2c2016_ej1.jpg|ej 1]], [[Media: logicaYcomputabilidad_2p_2c2016_ej2.pdf|ej 2]], [[Media: logicaYcomputabilidad_2p_2c2016_ej3.pdf|ej 3]], [[Media: logicaYcomputabilidad_2p_2c2016_ej4.pdf|ej 4]]<br />
|-<br />
| 2016 || Verano || 03/03/2016 || Parcial || [[Parcial de Lógica Verano 2016 (LyC)|enunciado]], [[Media:LyC_2parcial_03-03-16.pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2015 || Segundo cuatrimestre || || Parcial || [[Media: logicaYcomputabilidad_2p_2c2015.pdf|enunciado (pdf)]], resolución (pdf): [[Media: logicaYcomputabilidad_2p_2c2015_ej1.pdf|ej 1]], [[Media: logicaYcomputabilidad_2p_2c2015_ej2.pdf|ej 2]]<br />
|-<br />
| 2015 || Verano || || Recuperatorio || [[Media:LyC_recu_logica_verano_2015.jpg|enunciado (jpg)]]<br />
|-<br />
| 2015 || Verano || 07/02/2015 || Parcial || [[Media:LyC_logica_07-03-15.jpg|enunciado (jpg)]], resolución (jpg): [[Media: LyC_2parcial_07-02-15_ej2.jpg|ej 2]], [[Media: LyC_2parcial_07-02-15_ej3.jpg|ej 3]]<br />
|-<br />
| 2014 || Segundo cuatrimestre || 14/11/2014 || Parcial || [[Media:LyC_2parcial_14-11-14.pdf|enunciado (pdf)]], resolución (jpg): [[Media:LyC_2parcial_14-11-14_ej1.jpg|ej 1]], [[Media:LyC_2parcial_14-11-14_ej2.jpg|ej 2]], [[Solución Ejercicio 4 Parcial Lógica 14/11/2014 (Lógica y Computabilidad - Departamento de Computación)|ej4]]<br />
|-<br />
| 2010 || Segundo cuatrimestre || || Recuperatorio (2) || [[Media:10recu2logica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2010 || Segundo cuatrimestre || || Recuperatorio || [[Media:10reculogica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2010 || Segundo cuatrimestre || || Parcial || [[Media:10logica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2009 || Verano || || Recuperatorio || [[Media:V09reculogica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2009 || Verano || || Parcial || [[Media:V09logica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Primer cuatrimestre || || Recuperatorio || [[Media:1c08reculogica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Primer cuatrimestre || || Parcial || [[Media:1c08logica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Verano || || Recuperatorio || [[Media:08reculogica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Verano || || Parcial || [[Media:08logica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Verano || || Recuperatorio || [[Media:07reculogica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Verano || || Parcial || [[Media:07logica.pdf|enunciado (pdf)]]<br />
|-<br />
| 2006 || Segundo cuatrimestre || 13/10/2006 || Parcial || [[Parcial Lógica 13/10/06 (Lógica y Computabilidad)|enunciado]]<br />
|}<br />
<br />
=== Departamento de Matemática ===<br />
<br />
==== Lógica ====<br />
{| class="wikitable sortable"<br />
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links<br />
|-<br />
| 2016 || Primer cuatrimestre || || Parcial || [[Medio:parcial_2016_1c_1p.pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2015 || Primer cuatrimestre || 15/05/2015 || Parcial || [[Medio:logica_1parcial_15052015.jpg|enunciado (jpg)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Recuperatorio (2) || [[Media:08dmrecu2logica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Recuperatorio || [[Media:08dmreculogica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Parcial || [[Media:08dmlogica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Recuperatorio (2) || [[Media:07dmrecu2logica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Recuperatorio || [[Media:07dmreculogica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Parcial || [[Media:07dmlogica (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|}<br />
<br />
==== Computabilidad ====<br />
{| class="wikitable sortable"<br />
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links<br />
|-<br />
| 2015 || Primer cuatrimestre || 03/07/2015 || Parcial || [[Medio:LyC_2parcial_03-07-15.pdf|enunciado (pdf)]]<br />
|-<br />
| 2010 || Primer cuatrimestre || || Parcial || [[Media:1C2010compu.pdf|enunciado (pdf)]], [[Media:1C2010compuResolucion.pdf|enunciado + resolución (pdf)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Recuperatorio (2) || [[Media:08dmrecu2compu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Recuperatorio || [[Media:08dmrecucompu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2008 || Segundo cuatrimestre || || Parcial || [[Media:08dmcompu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Recuperatorio (2) || [[Media:07dmrecu2compu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Recuperatorio || [[Media:07dmrecucompu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|-<br />
| 2007 || Segundo cuatrimestre || || Parcial || [[Media:07dmcompu (Lógica y Computabilidad).pdf|enunciado (pdf)]]<br />
|}<br />
<br />
== Finales ==<br />
=== Departamento de Computación === <br />
En general toma Santiago Figueira. Santiago toma todos los teoremas que aparecen en las diapositivas. No se confíen si algún teorema no aparece en los finales a continuación, se toman todos.<br />
<br />
* [[Medio:LyC final preguntas resueltas.pdf|Preguntas de finales resueltas]] ([https://github.com/CubaWiki/LYC-FinalPreguntas-JVanecek Source]): Tomadas por Santiago Figueira.<br />
* [[Final del 17/03/07 (Lógica y Computabilidad) | Final del 17/03/07]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 23/02/10 (Lógica y Computabilidad) | Final del 23/02/10]]: Tomado por Santiago Figueira (Oral)<br />
* [[Final del 16/03/10 (Lógica y Computabilidad) | Final del 16/03/10]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 28/12/10 (Lógica y Computabilidad) | Final del 28/12/10]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 26/12/12 (Lógica y Computabilidad) | Final del 26/12/12]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 05/08/13 (Lógica y Computabilidad) | Final del 05/08/13]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 20/02/14 (Lógica y Computabilidad) | Final del 20/02/14]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 07/03/14 (Lógica y Computabilidad) | Final del 07/03/14]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 11/12/14 (Lógica y Computabilidad) | Final del 11/12/14]]: Tomado por Santiago Figueira (Oral)<br />
* [[Final del 22/12/14 (Lógica y Computabilidad) | Final del 22/12/14]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 13/04/15 (Lógica y Computabilidad) | Final del 13/04/15]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 21/12/15 (Lógica y Computabilidad) | Final del 21/12/15]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 09/05/16 (Lógica y Computabilidad) | Final del 09/05/16]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 10/03/17 (Lógica y Computabilidad) | Final del 10/03/17]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 22/06/17 (Lógica y Computabilidad) | Final del 22/06/17]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 21/12/17 (Lógica y Computabilidad) | Final del 21/12/17]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 22/02/18 (Lógica y Computabilidad) | Final del 22/02/18]]: Tomado por Santiago Figueira (Escrito)<br />
* [[Final del 17/05/18 (Lógica y Computabilidad) | Final del 17/05/18]]: Tomado por Santiago Figueira (Escrito)<br />
=== Departamento de Matemática === <br />
* [[Final del 16/07/13 (Lógica y Computabilidad) | Final del 16/07/13]]: Tomado por Alejandro Petrovich (Escrito)<br />
* [[Final del 10/09/14 (Lógica y Computabilidad) | Final del 10/09/14]]: Tomado por Alejandro Petrovich (Escrito)<br />
* [[Final del 21/10/14 (Lógica y Computabilidad) | Final del 21/10/14]]: Tomado por Alejandro Petrovich (Escrito) (resuelto)<br />
<br />
== Recursos ==<br />
=== Clases === <br />
*[[Media:C2practica (Logica).pdf|Clase práctica número 2 (computabilidad)]]: Ejemplo de demostraciones de funciones primitivas recursivas.<br />
*[[Media:C3practica (Logica).pdf|Clase práctica número 3 (computabilidad)]]: Esquemas recursivos p.r.<br />
*[[Media:C5practica (Logica).pdf|Clase práctica número 5 (computabilidad)]]: Apunte de clases de funciones y ejercicios de Halt.<br />
*[[Media:C6practica (Logica).pdf|Clase práctica número 6 (computabilidad)]]: Teorema de la recursión, teorema del parámetro, etc.<br />
*[[Media:C7practica (Logica).pdf|Clase práctica número 7 (computabilidad)]]: Conjuntos r.e., Rice.<br />
*[[Media:L1practica (Logica).pdf|Clase práctica número 1 (lógica)]]: Lógica proposicional.<br />
*[[Media:L2practica (Logica).pdf|Clase práctica número 2 (lógica)]]: Conjuntos maximales consistentes.<br />
*[[Media:L3practica (Logica).pdf|Clase práctica número 3 (lógica)]]: Conjuntos maximales consistentes, teorema de la deducción, árboles LP, compacidad.<br />
<br />
=== Prácticas ===<br />
*[[Media:Resueltos Tobis 2005 (Logica).zip|Prácticas resueltas de LyC del 2005]].<br />
<br />
=== Apuntes ===<br />
* [https://github.com/CubaWiki/LyC-ApunteComputabilidad-Taravilse/releases/download/1.0/Logica_apunte_ltaravilse.pdf Apunte de Computabilidad]([https://github.com/CubaWiki/LyC-ApunteComputabilidad-Taravilse Repositorio de fuentes]), hecho por Leopoldo Taravilse, durante la cursada del segundo cuatrimestre de 2012.<br />
<br />
=== Videos ===<br />
* [https://www.youtube.com/watch?v=lTSMBvzDxRo Video explicando resolución de un parcial de Computabilidad (por Manu Gimenez)]<br />
<br />
== Curiosidades ==<br />
* [[Teorema de Cantor]]<br />
<br />
== Bibliografía recomendada ==<br />
*Davis, Martin D.; Sigal, Ron y Weyuker, Elaine J., ''Computability, complexity and languages: fundamentals of theoretical computer science'', San Diego: Academic Press, 1994 ('''Circulante 681 334 Davis''' en la [[Biblioteca Central]])<br />
*Mendelson, Elliot, ''Introduction to mathematical logic'', Princeton, N.J.: Van Nostrand, c1964 ('''Circulante 510 600 Mendelson''' en la [[Biblioteca Central]])<br />
<br />
== Enlaces externos ==<br />
*[http://www.dc.uba.ar/lyc Pagina Oficial de la Materia (DC)]<br />
*[http://www.dm.uba.ar/materias/logica_computabilidad/ Pagina Oficial de la Materia (DM)]<br />
<br />
[[Category:Materias]]<br />
[[Category:Matemática]]<br />
[[Category:Computación]]</div>181.170.192.15https://www.cubawiki.com.ar/index.php?title=Final_del_17/05/18_(L%C3%B3gica_y_Computabilidad)&diff=11895Final del 17/05/18 (Lógica y Computabilidad)2018-05-18T11:08:33Z<p>181.170.192.15: Página creada con «=Ejercicio 1= Demostrar que si <math>\Gamma</math> conjunto de formulas de la logica proposicional tal que <math>\Gamma \subseteq FORM </math> es consistente entonces <mat...»</p>
<hr />
<div>=Ejercicio 1=<br />
Demostrar que si <math>\Gamma</math> conjunto de formulas de la logica proposicional tal que <math>\Gamma \subseteq FORM </math> es consistente entonces <math>\Gamma</math> es satisfacible.<br />
<br />
=Ejercicio 2=<br />
Demostrar que existen modelos de primer orden no estandar para la aritmética<br />
<br />
=Ejercicio 3=<br />
Probar que <math>TOT</math> no es c.e. ni co-c.e.<br />
<br />
=Ejercicio 4=<br />
Enunciar y demostrar el teorema de Rice</div>181.170.192.15