Ciencias de la Computación - FCEN - UBA
1er cuatrimestre 2024
-
Prácticas
- Práctica 0: Pre-Práctica de Programación Funcional
- Práctica 1: Programación Funcional
- Práctica 2: Razonamiento Ecuacional e Inducción Estructural
- Práctica 3: Demostración en Lógica Proposicional
- Práctica 4: Cálculo-λ: Tipado y Semántica Operacional
- Práctica 5: Interpretación y Compilación
- Práctica 6: Lógica de Primer Orden
- Práctica 7: Resolución en Lógica
- Práctica 8: Programación Lógica
- Práctica 9: Programación Orientada a Objetos