Diferencia entre revisiones de «Paradigmas de Programación»

De Cuba-Wiki
(Agrego 1er parcial 2C2024)
 
(No se muestran 8 ediciones intermedias de 5 usuarios)
Línea 24: Línea 24:
==Prácticas==
==Prácticas==
* [https://github.com/KerbsOD/Computacion-UBA/tree/main/ParadigmasDeProgramacion/Guias Guías resueltas 1C2024 (solo programación)]
* [https://github.com/KerbsOD/Computacion-UBA/tree/main/ParadigmasDeProgramacion/Guias Guías resueltas 1C2024 (solo programación)]
* [https://github.com/laurabailleres/plp Guías resueltas 2C2024]


==Apuntes==
==Apuntes==
* [https://github.com/laurabailleres/plp Apuntes de las clases prácticas]
==Parciales==
==Parciales==
===Primeros parciales===
===Primeros parciales===
Línea 32: Línea 35:
|-
|-
|| 2024 || Primer Cuatrimestre || 21/05/2024 || Parcial || [[Medio:PLP-2024-1ºC-Primer Parcial-MOA.pdf|enunciado y solución]]
|| 2024 || Primer Cuatrimestre || 21/05/2024 || Parcial || [[Medio:PLP-2024-1ºC-Primer Parcial-MOA.pdf|enunciado y solución]]
|-
|| 2024 || Primer Cuatrimestre || 16/07/2024 || Recuperatorio || [[Medio:PLP_1recu_16_07_24_VF.pdf|enunciado y solución]]
|-
|| 2024 || Segundo Cuatrimestre || 08/10/2024 || Parcial || [[Medio:PLP-2024-2C-Primer Parcial.pdf|enunciado y solución]]
|}
|}


Línea 39: Línea 46:
|-
|-
|| 2024 || Primer Cuatrimestre || 05/07/2024 || Parcial || [[Medio:PLP-1C2024-2P.pdf|enunciado y solución]]
|| 2024 || Primer Cuatrimestre || 05/07/2024 || Parcial || [[Medio:PLP-1C2024-2P.pdf|enunciado y solución]]
|-
|| 2024 || Primer Cuatrimestre || 23/07/2024 || Recuperatorio || [[Medio:PLP-1C2024-2r.pdf|enunciado y solución]]
|}
|}

Revisión actual - 20:58 2 nov 2024

Esta página es sobre la materia del plan de estudios 2023. Para ver la materia del plan 1993, consultar Paradigmas de Lenguajes de Programación.
Paradigmas de Programación
Año Segundo año
Carga horaria 10 horas semanales
Correlativas Algoritmos y Estructuras de Datos
Correlativa de Ingeniería de Software y Programación Concurrente y Paralela

Paradigmas de Programación es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación.

Su objetivo es describir distintas características básicas del diseño e implementación de lenguajes de programación. Fundamentos de los principales paradigmas de programación. Semántica formal de lenguajes de programación.

Programa

  • Programación funcional
  • Razonamiento ecuacional e inducción estructural
  • Deducción natural para lógica proposicional
  • Sistemas de tipos y reducción (semántica operacional small-step)
  • Interpretación (semántica big-step y denotacional) y compilación
  • Lógica de primer orden
  • Programación lógica
  • Resolución lógica
  • Programación orientada a objetos

Prácticas

Apuntes

Parciales

Primeros parciales

Año Cuatrimestre Fecha Instancia Links
2024 Primer Cuatrimestre 21/05/2024 Parcial enunciado y solución
2024 Primer Cuatrimestre 16/07/2024 Recuperatorio enunciado y solución
2024 Segundo Cuatrimestre 08/10/2024 Parcial enunciado y solución

Segundos parciales

Año Cuatrimestre Fecha Instancia Links
2024 Primer Cuatrimestre 05/07/2024 Parcial enunciado y solución
2024 Primer Cuatrimestre 23/07/2024 Recuperatorio enunciado y solución