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 119: | Línea 118: | ||
{| class="wikitable sortable" | {| class="wikitable sortable" | ||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | ||
|- | |||
| 2023 || Primer Cuatrimestre || 07/07/2023 || Parcial || [[Media:LyC_2parcial_07-07-2023.pdf|enunciado + resolución (pdf)]] | |||
|- | |- | ||
| 2023 || Verano || 13/03/2023 || Parcial || [[Media:Parcial2_Lógica_verano23.pdf|enunciado]], [[Media:Resolución_Parcial_Lógica_verano23.pdf|resolucion]] | | 2023 || Verano || 13/03/2023 || Parcial || [[Media:Parcial2_Lógica_verano23.pdf|enunciado]], [[Media:Resolución_Parcial_Lógica_verano23.pdf|resolucion]] | ||
Línea 165: | Línea 166: | ||
{| 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 243: | Línea 242: | ||
=== 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 == |