[S08] Boletín Semanal
Stefan Malewski 6 Oct 202306/10/23 a las 04:11 hrs.2023-10-06 04:11:06
Hitos Evaluativos
Tarea 2: Tipos de seguridad para un lenguaje con lambdas y estructuras finitas. | Fecha de entrega: 25 de Octubre a las 23:59Temas de la Semana
Plazo recomendando: Jueves 12 de OctubreLógica constructiva con proof terms (Capítulos 12.2.2 y 12.4)
[Apuntes: Lógica constructiva con proof terms][Videos: Lógica constructiva con proof terms]
- Reglas con proof terms
- Correspondencia entre demostraciones y programas
- El lambda cube
- Lógica clásica vs lógica constructiva
Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
| Compartir | |
|---|---|
| Categoría | Boletines |
| Última Modificación | 12 Oct 202312/10/23 a las 17:32 hrs.2023-10-12 17:32:12 |
| Vistas Únicas | 5 |
