Diferencia entre revisiones de «Paradigmas de Programación»
De Cuba-Wiki
Sin resumen de edición |
m (→Finales) Etiqueta: Reversión manual |
||
| (No se muestran 32 ediciones intermedias de 12 usuarios) | |||
| Línea 8: | Línea 8: | ||
}} | }} | ||
'''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 | '''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== | |||
* [https://github.com/octokerbs/FCEN-ParadigmasDeProgramacion Guías resueltas 1C2024 (solo programación)] | |||
==Apuntes== | |||
==Parciales== | |||
===Primeros parciales=== | |||
{| class="wikitable sortable" | |||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | |||
|- | |||
|| 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]] | |||
|} | |||
===Segundos parciales=== | |||
{| class="wikitable sortable" | |||
! Año !! Cuatrimestre !! Fecha !! Instancia !! Links | |||
|- | |||
|| 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]] | |||
|- | |||
|| 2024 || Segundo Cuatrimestre || 26/11/2024 || Parcial || [[Medio:PLP-2C2024-2P.pdf|enunciado y solución]] | |||
|} | |||
===Finales=== | |||
{| class="wikitable sortable" | |||
! Año !! Mes !! Fecha !! Quién tomó !! Modalidad !! Link | |||
|- | |||
|| 2024 || Diciembre || 16/12/2024 || Hernán Melgratti || Escrito || [[Enunciado-Final-PLP-16-12-24|Enunciado]] | |||
|- | |||
|| 2025 || Febrero || 18/02/2025 || Pablo Barenbaum || Escrito || [[Enunciado-Final-PLP-18-02-25|Enunciado]] | |||
|} | |||
Revisión actual - 21:46 23 feb 2025
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 |
| 2024 | Segundo Cuatrimestre | 26/11/2024 | Parcial | enunciado y solución |
