Edición de «Lógica y Computabilidad»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
{{ | {{Revisar guías}} | ||
'''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]]. | '''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]]. | ||
Línea 62: | Línea 61: | ||
{| class="wikitable sortable" | {| class="wikitable sortable" | ||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ||
|- | |- | ||
| 2023 || Verano || 17/02/2023 || Parcial|| [[Media:1parcial_verano_2023_LyC.pdf|enunciado + resoulcion (pdf)]] | |||
| 2023 || Verano || 17/02/2023 || Parcial|| [[Media: | |||
|- | |- | ||
Línea 119: | Línea 113: | ||
{| class="wikitable sortable" | {| class="wikitable sortable" | ||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ||
|- | |- | ||
| 2022 || Segundo Cuatrimestre || 18/11/2022 || Parcial || [[Media:2doPacialLyC.pdf|enunciado + resolución (pdf)]] | | 2022 || Segundo Cuatrimestre || 18/11/2022 || Parcial || [[Media:2doPacialLyC.pdf|enunciado + resolución (pdf)]] | ||
Línea 165: | Línea 157: | ||
{| class="wikitable sortable" | {| class="wikitable sortable" | ||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ||
|- | |- | ||
| 2018 || Primer cuatrimestre || || recuperatorio || [https://drive.google.com/file/d/1kA1wNiMcucfjzprubwmZIlb4W0H0UQgN/view?usp=sharing Enunciado+resolucion] | | 2018 || Primer cuatrimestre || || recuperatorio || [https://drive.google.com/file/d/1kA1wNiMcucfjzprubwmZIlb4W0H0UQgN/view?usp=sharing Enunciado+resolucion] | ||
Línea 220: | Línea 210: | ||
* [[Final del 07/12/22 (Lógica y Computabilidad) | Final del 07/12/22]]: Tomado por (Oral) | * [[Final del 07/12/22 (Lógica y Computabilidad) | Final del 07/12/22]]: Tomado por (Oral) | ||
* [[Final del 22/12/22 (Lógica y Computabilidad) | Final del 22/12/22]]: Tomado por Ariel (Oral) | * [[Final del 22/12/22 (Lógica y Computabilidad) | Final del 22/12/22]]: Tomado por Ariel (Oral) | ||
* [[Final del 22/02/23 (Lógica y Computabilidad) | Final del 22/02/23]]: Tomado por Sergio | * [[Final del 22/02/23 (Lógica y Computabilidad) | Final del 22/02/23]]: Tomado por Sergio (Escrito) | ||
=== Departamento de Matemática === | === Departamento de Matemática === | ||
Línea 243: | Línea 231: | ||
=== Videos === | === Videos === | ||
* [https://www.youtube.com/watch?v=lTSMBvzDxRo Video explicando resolución de un parcial de Computabilidad (por Manu Gimenez)] | * [https://www.youtube.com/watch?v=lTSMBvzDxRo Video explicando resolución de un parcial de Computabilidad (por Manu Gimenez)] | ||
== Bibliografía recomendada == | == Bibliografía recomendada == |